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

Di., 12:00 – 14:00 Uhr

TBA