Einführung in die Theoretische Informatik

Sommersemester 2010

Überblick:

Zeit und Ort:

Mo. 10:15 - 11:45, MI HS 1 (Beginn: 19.04.)
Do. 16:00 - 17:30, PH HS 1 - PH 2501

Dozent:

Prof. Tobias Nipkow

Übungsleitung:

Dr. Werner Meixner, Dr. Alexander Krauss

Emails:

jeweils NACHNAME at in.tum.de

Neuigkeiten:

• Die Klausurergebnisse und Noten stehen jetzt im TUMonline-System.
• Unsere Arbeitsgruppe sucht Hiwis für Programmier- und Forschungsarbeiten, von graphischen Oberflächen bis Theorembeweisen. Interessenten melden sich bitte direkt bei Prof. Nipkow.