| Bereich: |
Spezialvorlesung im Grundstudium: 2 Std. (+2Ü) |
| Zeit und Ort: |
Mi. 8:30 - 10:00, Raum: MI 00.07.11 |
| Beginn: |
18.10.2006 |
| Übungstermin: |
Mi. 10:00 - 11:30, Raum: MI 00.07.11 |
| Zusätzlicher Übungstermin: |
Di. 15:15 - 16:45, Raum: MI 00.11.38 ("John v. Neumann") |
| Tutor: |
Alex Krauss |
| Mailingliste: |
Siehe https://mailmanbroy.in.tum.de/mailman/listinfo/perlen06 |
News:
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
- Prolog
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 und andere Interessierte.
Voraussetzungen: keine
Literatur:
- Skript
- Uwe Schöning. Theoretische Informatik kurzgefasst.
- Uwe Schöning. Perlen der Informatik.
- Uwe Schöning. Logik für Informatiker.
- Christos Papadimitriou. Computational Complexity.
- 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.
Übungsblätter
|
