Fakultät für Informatik

TU München - Fakultät für Informatik
Lehrstuhl IV: Software & Systems Engineering

TUM

  Home  |  Forschung/Kompetenz  |  Lehre  |  Personen  |  Publikationen  |  Sonstiges  |  Kontakt  | 

  Suche   

Vorlesung | Wintersemester 2008/09
Perlen der Informatik
Prof. Tobias Nipkow
 
 

> Lehre

> Vorlesungen

News

Inhalt

Literatur

Übungsblätter
Bereich: Spezialvorlesung im Grundstudium: 2 Std. (+2Ü)
Zeit und Ort: Fr. 10:15 - 11:45, Raum: MI 00.07.11
Beginn: 17.10.2008
Übungstermin: Mi. 14:15 - 15:45, Raum: MI 01.11.018 ("Konrad Zuse"), Begin: 22.10.2008
Tutor: Dr. Stefan Berghofer
Mailingliste: https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/perlen08

News:

  • Die Übung am 3.12.2008 entfällt.
  • Am 21.1.2009 findet die Übung ausnahmsweise im Raum MI 00.11.038 ("John von Neumann") statt.
  • Die Übung findet ab sofort von 14:15 bis 14:45 statt.

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.

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. Mellish. 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

Hinweise zu ML