050026 VO Theoretical Computer Science (2011S)

3.00 ECTS (2.00 SWS), SPL 5 - Informatik und Wirtschaftsinformatik

Details

Language: German

Examination dates

Lecturers

Classes (iCal) - next class is marked with N

Friday 04.03. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 11.03. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
Friday 18.03. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
Friday 25.03. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
Friday 01.04. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
Friday 08.04. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
Friday 15.04. 10:00 - 11:30 Hörsaal C1 UniCampus Hof 2 2G-O1-03
Friday 06.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 13.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 20.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 27.05. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 10.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 17.06. 10:30 - 12:00 (ehem. Hörsaal 23 Hauptgebäude, 1.Stock, Stiege 5)
Friday 24.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