Logik und Komplexität WS 08/09

Veranstaltungsnummer  
Titel Logik und Komplexität
Veranstalter Prof. Dr. Thomas Schwentick
Klassifikation Spezialvorlesung (DPO), Vertiefungsmodul (MPO)
Semester Wintersemester 2008/09
SWS 5 (3V+2Ü)
Kreditpunkte 7,5
Ort und Zeit

Vorlesung: Montag 16-18 Uhr, Dienstag 16-18 Uhr (14-tägig), jeweils in OH16, Raum 205

Übung: wöchentlich 2 Stunden,

  • Dienstag, 16-18 Uhr, OH16, R. 205: 21.10., 4.11.,... 
  • Mittwoch, 8:30-10:00 Uhr, OH 14, U03: 29.10., 12.11.,...
Querverbindungen Komplexitätstheorie, Logik
Voraussetzungen GTI-Stoff wird vorausgesetzt,
Komplexitätstheorie ist hilfreich, aber nicht unbedingt notwendig

Aktuelles

  • Die Vorlesung findet in folgenden Wochen 2-stündig (nur montags) statt: 17.11., 24.11, 1.12., 8.12., 15.12., 2.2.
  • Die Vorlesung findet in folgenden Wochen 4-stündig (montags und dienstags) statt: 5.1., 12.1., 19.1., 26.1.

Logbuch

Hier finden Sie Informationen zum Verlauf der Vorlesung

Übungsblätter

Hier finden Sie die Übungsblätter.

Literatur

Ein Folienskript wird parallel zur Vorlesung erstellt.

Weitere Literatur:

  • Leonid Libkin: Elements of Finite Model Theory, Springer, 2004
  • Immerman: Descriptive Complexity, Springer, 1999