Komplexität und Logik (Seminar)

Modultitel (deutsch)

Komplexität und Logik Seminar

Modultitel (englisch)

Complexity and Logic

Modul-Verantwortliche/r

Olaf Beyersdorff

Zusammensetzung des Moduls / Lehrformen  (V, Ü, S, Praktikum, …)

2 S

Leistungspunkte (ECTS credits)

3 LP

Inhalte

Seminar zu wechselnden aktuellen Themen der Logik in der Informatik

Typische Themen sind:

  • Verschiedene Logiken: Aussagenlogik, erststufige Logik, QBF, modale, intuitionistische Logiken etc.
  • Komplexität dieser Logiken
  • Beweiskalküle der Logiken
  • Algorithmische Aspekte
  • SAT- und QBF Solver
  • Beweiskomplexität
  • Berechnungskomplexität
  • Algebraische Beweissysteme
Termine

Fr., 12:00 – 14:00 Uhr

01. Dezember 2023: Jacob Carl Spinde - Kap. 7

19. Januar 2024: Fatema Habibzadeh - Kap. 4

26. Januar 2024: Sonja Marina Weitzing - Kap. 5

02. Februar 2024: Zahra Jamili - Kap. 6
 
Literatur

Das Erfüllbarkeitsproblem SAT
Uwe Schöning, Jacobo Torán
Lehmanns Verlag
2012