Einführung in die Theoretische Informatik

Sommersemester 2011

Zeit und Ort:: Mo. 10:15-11:45 Uhr im FMI-HS1
Do. 16:15-17:45 Uhr im Physik HS1, 2501
Dozent:: Prof. Tobias Nipkow
Übungsleitung:: Sascha Böhme (boehmesin.tum.de), Lars Noschinski (noschinlin.tum.de)

Der Termin für die Einsicht ist hier verfügbar.
Der Raumplan für die Endterm-Klausur ist hier verfügbar.
Vorlesung am 25.7.: Gödels Unvollständigkeitssatz. Vorlesung am 28.7.: Presburger Arithmetik und endliche Automaten. Beide Vorlesungen sind nicht mehr klausurrelevant und werden nicht aufgezeichnet (da primär Tafel-basiert).
Die Einsicht in die Midtermklausur findet zeitgleich mit der Einsicht in die Endtermklausur statt. Der Termin dazu wird rechtzeitig bekanntgegeben.
Knobelaufgabe: Stephan Ribeiro hat gezeigt, dass zwei unterscheidbare Zustände eines endlichen Automaten mit n Zuständen immer durch ein Wort der Länge < n unterschieden werden können.
Unsere Arbeitsgruppe sucht Hiwis für Programmier- und Forschungsarbeiten, von graphischen Oberflächen bis Theorembeweisen. Interessenten melden sich bitte direkt bei Prof. Nipkow.