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

Lehrende: Dr. rer. nat. Kord Eickmeyer; Dr. of Phil. Ulrik Torben Buchholtz; 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: Resolution und ein Sequenzenkalkül;

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;

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

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