Einführung in die Logik SS26

News

• 30. März: Am 13.04. findet anstelle der Vorlesung eine Übung statt. Am 14.04. findet anstelle der Übung eine Vorlesung statt.

Organisation

• Die Vorlesung wird von Prof. Dr. Roland Meyer gehalten, die große Übung wird von Sören van der Wall gehalten.
• Turnus: nur im Sommersemester
• Arbeitsaufwand: 42 h Präsenzstudium + 108 h Selbststudium
• Vorlesungstermin: Montag, 11:30 - 13:00 in PK 11.2
• Große Übung: Zweiwöchentlich, Dienstag, 15:00 - 16:45 in PK 11.3.
• Kleine Übungen: Anmeldung im StudIP (14.04.-24.04.).
• Prüfungstermin: 28. Juli 2026.
• Vorlesung und Übung starten in der Woche des 13.04..

Klausur

Die Klausur findet am 28. August 2026 von 16:00 bis 18:00 statt.  Die Räume werden noch bekannt gegeben.
Ein beidseitig handbeschriebenes DIN-A4 Blatt ist für die Mitnahme in die Klausur zugelassen.

Material

Folien

Videos aus vergangenen Semestern.

• Einführung und Kompaktheit:   Folien, Beispiel zur Semantik, Beweis des Lemmas zur Fortsetzung von Belegungen, Beweis der aufbauenden Folgerung, Beweis des Deduktionstheorems (semantische Version), Beweis des Kompaktheitssatzes.
• Deduktive Systeme: Folien, Beispielbeweis zur Vollständigkeit einer Operatorenmenge, Beweis des Deduktionstheorems (syntaktische Version).
• F0: Beweise in F0, Beweis mittels Inkonsistenz, Vollständigkeit von F0.
• Sequenzen, Typsysteme und Tableaus: Folien zum Sequenzenkalkül, Beispielbeweis im Sequenzenkalkül, Typsysteme, Beispiele zu Tableaus, Folien zu Tableaus.
• Normalformen, Davis-Putnam: Folien zu Normalformen, Beispiel zu Tseitin mit Syntaxbaum, Beispiele zu Davis-Putnam, Folien zu Davis-Putnam.
• Resolution, BMC: Beispiel zur Resolution, Folien zur Resolution, Widerlegungsvollständigkeit der Resolution, Bounded-Model-Checking.
• Syntax und Semantik der Prädikatenlogik: Folien, Lassie und Nemo.
• Substitution und Normalformen: Folien, Beispiel zur Substitution, Anwendung des Substitutionslemmas, Pränexnormalform, Beispiel zur Skolemisierung, Beweis des Satzes von Skolem.

Literatur

• Enderton: A Mathematical Introduction to Logic, Academic Press.
• Schöning: Logik für Informatiker, Spektrum Akademischer Verlag.
• Ebbinghaus et. al.: Einführung in die mathematische Logik, Spektrum Akademischer Verlag.
• Huth and Ryan: Logic in Computer Science, Cambridge University Press.
• Ben-Ari: Mathematical Logic for Computer Science, Springer-Verlag.
• Nissanke: Introductory Logic and Sets for Computer Scientists, Pearson.
• S. Hedman: A First Course In Logic, Oxford University Press.
• Yosuhara: Recursive Function Theory and Logic, Academic Press.
• Mancosu, Galvan Zach: An Introduction To Proof Theory, Oxford University Press.
• Papadimitriou and Doxiadis: Logicomix: An Epic Search For Truth, Bloomsbury, deutsche Ausgabe bei Atrium.