Die Vorlesung am 17.07.2019 wird von Dennis Peuter gehalten.
Die erste Übung findet in der zweiten Vorlesungswoche (Mo 15.04., Di 16.04. und Do 18.04.) statt.
Scheinvergabe:
Nachklausur:
Termin: Montag, 7.10.2019, 13:00s.t.-15:00 (120 min), Raum D 028
Nachklausur hat gleichen "Wert" wie alle Teilklausuren zusammen; 120 Minuten Dauer
Schein bei 50% der Punkte in der Nachklausur
Inhalt
Die Vorlesung vermittelt die grundlegenden formalen Konzepten
der Informatik und Verständnis für die prinzipiellen Grenzen
des Berechenbaren bzgl. prinzipieller Unlösbarkeit oder
unhandhabbarer Komplexität.
Reguläre Sprachen, endliche Automaten (determiniert und indeterminiert)