04-00-0090-vu Aussagenlogik und Prädikatenlogik

Lehrende: Prof. Dr. phil. nat. Ulrich Kohlenbach; Ph.D. Anton Jonathan Freund; M.Sc. Jonathan Weinberger

Veranstaltungsart: Vorlesung und Übung

Orga-Einheit: FB04 Mathematik

Anzeige im Stundenplan: FGdI II

Fach:

Anrechenbar für:

Semesterwochenstunden: 3

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | -

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

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

Voraussetzungen:
Automaten, formale Sprachen und Entscheidbarkeit

Erwartete Teilnehmerzahl:
700