Universität Wien FIND
Warning! The directory is not yet complete and will be amended until the beginning of the term.

050026 VO Theoretical Computer Science (2012S)

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

Friday 02.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
Friday 09.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
Friday 16.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
Friday 23.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
Friday 30.03. 15:15 - 16:45 (ehem. Hörsaal 28 Hauptgebäude, 1.Stock, Stiege 1)
Friday 20.04. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 27.04. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 04.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 11.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 18.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 25.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 01.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 08.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 15.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 22.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 29.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)

Information

Aims, contents and method of the course

Kontextfreie Sprachen und Grammatiken; Reguläre Sprachen und Endliche Automaten; Kellerautomaten; Turing Maschinen; Berechenbarkeit und Entscheidbarkeit; Komplexität; Prädikatenlogik; Semantik und Grundelemente der formalen Verifikation.

Assessment and permitted materials

VO-Prüfung

Minimum requirements and assessment criteria

Einführung in die Methoden und Anwendungsgebiete von ausgewählten Teilen der Theoretischen Informatik.

Examination topics

Reading list


Association in the course directory

Last modified: Fr 15.10.2021 00:15