Kursinformation

Lehrinhalte
Syntax und Semantik der Aussagenlogik, funktionale Vollständigkeit und Normalformen, Kompaktheitssatz der Aussagenlogik, vollständige Beweiskalküle: Resolution und ein Sequenzenkalkül;
\newline
Syntax und Semantik der Logik erster Stufe, Strukturen und Belegungen, Normalformen und Skolemisierung, der Satz von Herbrand und der Kompaktheitsstaz der Logik erster Stufe, vollständige Beweiskalküle: (Grundinstanzen-)Resolution und ein Sequenzenkalkül,
Gödelscher Vollständigkeitssatz, Unentscheidbarkeit der Logik erster Stufe;
\newline
optional: Exkurse zu Ausdrucksstärke und model checking

Literatur
Burris: Logic for Mathematics and Computer Science
\newline
Schöning: Logik für Informatiker
\newline
Boolos, Burgess, Jeffrey: Computability and Logic
\newline
Skript (2 Teile, elektronisch unter www.mathematik.tu-darmstadt.de/˜otto)

Voraussetzungen
Automaten, formale Sprachen und Entscheidbarkeit

Weitere Informationen
durchgeführt als Teil einer (4 2) Veranstaltung

Online-Angebote
moodle