050026 VO Theoretical Computer Science (2014S)
Labels
Details
Language: German
Examination dates
- Friday 27.06.2014 17:00 - 18:00 Auditorium Maximum Tiefparterre Hauptgebäude Stiege 10
- Thursday 23.10.2014 11:30 - 13:00 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 27.11.2014 11:30 - 13:00 Hörsaal 1, Währinger Straße 29 1.UG
- Friday 16.01.2015 13:45 - 15:15 Hörsaal 1, Währinger Straße 29 1.UG
Lecturers
Classes (iCal) - next class is marked with N
- Thursday 13.03. 18:30 - 20:00 Hörsaal I NIG Erdgeschoß
- Thursday 20.03. 18:30 - 20:00 Hörsaal I NIG Erdgeschoß
- Thursday 27.03. 18:30 - 20:00 Hörsaal I NIG Erdgeschoß
- Thursday 03.04. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 10.04. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 08.05. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 15.05. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 22.05. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 05.06. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 12.06. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
- Thursday 26.06. 09:15 - 11:15 Hörsaal 1, Währinger Straße 29 1.UG
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; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
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: Mo 07.09.2020 15:29