Logik und Komplexität WS 12/13

Veranstaltungsnummer 042617
Titel Logik und Komplexität (INF-MSC-509)
Veranstalter Prof. Dr. Thomas Schwentick
Klassifikation Vertiefungsmodul (MPO)
Spezialvorlesung (DPO)
Semester Wintersemester 2012/13
SWS 4 (3V+1Ü)
Kreditpunkte 6
Ort und Zeit

Vorlesung:

  • Dienstag 16:15-18:00 Uhr, OH 16, 205
    (16.10., 30.10., 13.11., 27.11., 11.12., 8.1.,  22.1.)
  • Donnerstag 10:15-12:00 Uhr OH 16, 205
  • Beginn: Donnerstag, 11.10.

Übung:

  • Mittwoch, 16:15-17:45 Uhr, OH 16, 205 (14-tägig, 2 Stunden)
  • Beginn: 24.10.
Querverbindungen Komplexitätstheorie, Logik
Voraussetzungen GTI-Stoff wird vorausgesetzt,
Komplexitätstheorie ist hilfreich, aber nicht unbedingt notwendig
Forschungsbereich (MPO) Algorithmen und Komplexität
Schwerpunktgebiete (DPO) 4 (Algorithmen,...)
5 (Sicherheit und Verifikation)