Komplexität und Logik (Seminar)
Seit Begründung der Logik als formale Wissenschaft stehen die Aussagenlogik und verschiedene Stufen der Prädikatenlogik in ihrem Zentrum, weshalb man diese Sprachen auch als klassische Logiken bezeichnet. Dem gegenüber stehen sogenannte nichtklassische Logiken wie Modallogik, intuitionistische Logik und mehrwertige Logiken, die andere Aspekte der logischen Struktur von Aussagen in den Fokus rücken.
In diesem Seminar möchten wir einen Blick auf die wichtigsten dieser nichtklassischen Logiken, ihre jeweilige Motivation sowie entsprechende Beweissysteme werfen.
Als Grundlage wird das Lehrbuch "An Introduction to Non-Classical Logic (From If to Is)" (2. Edition) von Graham Priest dienen.
|
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:
|
| Termine |
Di., 16:00 – 18:00 Uhr |
Vortragsplan für das Semester |
Literatur: „Introduction to Non-Classical Logic: From If to Is“ (2. Edition, Graham Priest) |
Literatur |
Communication Complexity Eyal Kushilevitz, Noam Nisan Cambridge University Press, 1997 Computational Complexity: A Modern Approach Sanjeev Arora, Boaz Barak Cambridge University Press, 2009 Handbook of Satisfiability Editors Biere, A., Heule, M., Van Maaren, H., Walsh, T., IOS Press, 2021 |