050026 VO Theoretische Informatik (2011S)
Labels
Details
Sprache: Deutsch
Prüfungstermine
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Freitag 04.03. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
- Freitag 11.03. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
- Freitag 18.03. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
- Freitag 25.03. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
- Freitag 01.04. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
- Freitag 08.04. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
- Freitag 15.04. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
- Freitag 06.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
- Freitag 13.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
- Freitag 20.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
- Freitag 27.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
- Freitag 10.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
- Freitag 17.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
- Freitag 24.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