Übersicht

Dozent: Prof. Tobias Nipkow
Bereich: Spezialvorlesung im Grundstudium: 2 Std. (+2 Ü)
Zeit und Ort: Do. 8:30 - 10:00 Uhr, MI 00.08.059
Beginn: 5.5.2011
TUM online

Inhalt

In der Vorlesung werden ausgewählte Themen aus verschiedenen Bereichen der (hauptsächlich theoretischen) Informatik angesprochen:

Ziel der Vorlesung ist es, die Studierenden bereits zu Beginn ihres Studiums an Forschungsthemen heranzuführen.

Voraussetzungen: keine

Proseminar

Ein Teil der Vorlesung findet als Proseminar statt:

Zur Vortragsvorbereitung: How To Present a Paper in Theoretical Computer Science: A Speaker's Guide For Students

Literatur

Übungen

Übungsleitung: Alexander Krauss
Zeit und Ort: Fr. 10:00 - 11:30 Uhr, MI 01.09.014 ("Alonzo Church")
Beginn: 6.5.2011
Einen Interpreter für den Lambda-Kalkül gibt es hier.

Isabelle

Sowohl in der Vorlesung als auch in den Übungen wird der interaktive Beweiser Isabelle eingesetzt. Dafür gibt es ein extra für die Perlen produziertes Installationspaket. Es gilt folgende Installationsanleitung wobei lediglich das Archiv durch ein anderes ausgetauscht ist.

Linux: Isabelle_09-Jun-2011_bundle_x86-linux.tar.gz.
Windows/Cygwin: Isabelle_09-Jun-2011_bundle_x86-cygwin.tar.gz.

Unterlagen zu Isabelle