050026 VO Theoretische Informatik (2015S)
Labels
Details
Sprache: Deutsch
Prüfungstermine
Freitag
26.06.2015
18:30 - 20:00
Auditorium Maximum Tiefparterre Hauptgebäude Stiege 10
Freitag
23.10.2015
13:45 - 15:30
Hörsaal 1, Währinger Straße 29 1.UG
Mittwoch
25.11.2015
15:00 - 16:30
Hörsaal 1, Währinger Straße 29 1.UG
Freitag
15.01.2016
13:45 - 15:30
Hörsaal 1, Währinger Straße 29 1.UG
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Donnerstag
05.03.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Freitag
13.03.
15:00 - 16:30
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
19.03.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
26.03.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
16.04.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
23.04.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
30.04.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
07.05.
08:00 - 09:30
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
07.05.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
21.05.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
28.05.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
11.06.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
Donnerstag
18.06.
09:45 - 11:15
Hörsaal 1, Währinger Straße 29 1.UG
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; Theoretische Grundlagen der Programmiersprachen, Programmierparadigmen.
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: Mo 07.09.2020 15:29