Perlen der Informatik (WS 2004/05)

TU München - Fakultät für Informatik
Software- and Systems Engineering Research Group

Vorlesung | Wintersemester 2004/05
Perlen der Informatik
Prof. Tobias Nipkow

Bereich:	Spezialvorlesung im Grundstudium: 2 Std. (+2Ü)
Zeit und Ort:	Do 16:30 - 18:00, Raum MW 0350
Beginn:	26.10.2004
Zentralübung:	Di 10:30 - 12:00, Raum 00.07.011.
Übungsleitung:	Stefan Berghofer

Inhalt:

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

Berechenbarkeit und Entscheidbarkeit
Hilberts 10. Problem
Komplexität: P und NP
Primzahltests

Ziel der Vorlesung ist es, in enger Interaktion mit den teilnehmenden Studierenden bereits zu einem sehr frühen Stadium einen Bezug zu aktuellen Forschungsthemen herzustellen. Eine aktive und engagierte Mitarbeit ist unbedingte Teilnahmevoraussetzung.

Hörerkreis: Teilnehmer am Begabtenförderungsprogamm der Fakultät

Voraussetzungen: keine

Literatur:

Uwe Schöning. Theoretische Informatik kurzgefasst.
Uwe Schöning. Perlen der Informatik.
Uwe Schöning. Logik für Informatiker.
W. F. Clocksin and C. S. Melish. Programming in Prolog. Springer-Verlag, New York, Third, Revised and Extended edition, 1987
L. Sterling and E. Shapiro. The Art of Prolog. MIT Press, Cambridge, Massachusetts, 1986.