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

Vorlesung:

  • Dienstag 16:15-18:00 Uhr, OH 12, 2.063
  • Donnerstag 10:15-12:00 Uhr OH 12, 2.063
    (ca 14-tägig)
  • Beginn: Dienstag, 8.10.

Übung:

  • Donnerstag 10:15-12:00 Uhr OH 12, 2.063
    (ca 14-tägig)
Querverbindungen Komplexitätstheorie, Logik
Voraussetzungen GTI-Stoff wird vorausgesetzt,
Komplexitätstheorie ist hilfreich, aber nicht unbedingt notwendig
Forschungsbereich (MPO) Algorithmen und Komplexität
Materialien Moodle-Arbeitsraum: Link