Universität Wien FIND
Achtung! Das Lehrangebot ist noch nicht vollständig und wird bis Semesterbeginn laufend ergänzt.

050026 VO Theoretische Informatik (2012S)

Details

Sprache: Deutsch

Prüfungstermine

Lehrende

Termine (iCal) - nächster Termin ist mit N markiert

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

Information

Ziele, Inhalte und Methode der Lehrveranstaltung

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.

Art der Leistungskontrolle und erlaubte Hilfsmittel

VO-Prüfung

Mindestanforderungen und Beurteilungsmaßstab

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

Prüfungsstoff

Literatur


Zuordnung im Vorlesungsverzeichnis

Letzte Änderung: Fr 15.10.2021 00:15