050026 VO Theoretische Informatik (2013S)

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

Moodle

Details

Sprache: Deutsch

Prüfungstermine

Lehrende

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

Freitag 08.03. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 15.03. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 22.03. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 12.04. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 19.04. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 26.04. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 03.05. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 10.05. 09:45 - 11:15 Hörsaal 3, Währinger Straße 29 3.OG
Freitag 10.05. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 17.05. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 24.05. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 31.05. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 07.06. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 14.06. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 21.06. 15:00 - 16:30 Hörsaal 1, Währinger Straße 29 1.UG
Freitag 28.06. 15:00 - 16:30 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