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 Kompaktheitssatz 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

Grundlagenkurs zu formalen Methoden im Softwareentwurf: Modellierung, Spezifikation und Verifikation von Software 

Moodlekurs zur Lehrveranstaltung Informationsmanagement, ehem. Einführung in Data and Knowledge Engineering (20-00-0015) sowie zu Allgemeine Informatik III. Zum Einschreiben benötigen Sie ein Passwort, das in der ersten Vorlesung bekannt gegeben wird und über die Vorlesungszeit vor der Tür zu Raum S202/B113 aushängt.