Sommerakademien der deutschen Stiftung - Studienstiftung.ch

Arbeitsgruppe 3
Logik und Komplexität
Wann ist eigentlich eine Argumentation korrekt? Was ist folgerichtiges Schließen? Welche
Ressourcen sind nötig, um Hypothesen zu überprüfen? Wie komplex sind Aussagen, die
sich mit einer formalen, logik-basierten Sprache treffen lassen? Was sind die Grenzen der
Ausdrucksstärke solcher Sprachen?
Die Logik, d.h. die Lehre des vernünftigen Schlussfolgerns, gibt Antworten auf diese Fragen.
Sie ist ein Teilgebiet verschiedener wissenschaftlicher Disziplinen, u.a. der Informatik,
Mathematik, Philosophie und Linguistik. Insbesondere für die Informatik spielt die Logik
eine ähnlich fundamentale Rolle wie beispielsweise die Differential- und Integralrechnung
für die Physik. Computer sind ‘materialisierte Logik’. Ohne die formale Logik würde unsere
Alltagswelt heute ganz anders aussehen - es gäbe kein Internet, keine Smartphones
und keine Navigationsgeräte.
In der Arbeitsgruppe wollen wir uns grundlegende Konzepte und Resultate der formalen
Logik erarbeiten, u.a. zu folgenden Themen:
– Ausdrucksstärke und Komplexität verschiedener Logiken,
– Zwei-Personen-Spiele,
– die Gödelschen Unvollständigkeitssätze,
– Methoden zum Model-Checking.
Leitung
Teilnehmer
Literatur
Prof. Dr. Nicole Schweikardt
Institut für Informatik, Universität Frankfurt/Main
Studierende aller Fächer, insbesondere der Informatik und
Mathematik
Halpern, J.Y. et al., On the Unusual Effectiveness of Logic in Computer
Science, in: The Bulletin of Symbolic Logic, 7/2, 2001, S. 213-
236.
Libkin, L., Elements of Finite Model Theory, Springer Verlag 2004.
Ebbinghaus, H.-D./Flum, J./Thomas, W., Einführung in die Mathematische
Logik, Spektrum Akademischer Verlag 5 2007.
48
Akademie IV Greifswald