Einführung in die Logik SS26

News

• 15. Juli: Die Raumaufteilung und der genaue Termin für die Klausur stehen fest.
• 13. Juli: Die Probeklausur wird am 14. Juli besprochen. Falls Sie Interesse an einer bestimmten Aufgabe haben, schicken Sie mir eine Mail.
• 30. Juni: Da wir bis zur Abgabe des Aufgabenblatts 6 noch nicht System F behandelt haben, ist Hausaufgabe 6.3 eine Bonusaufgabe. Sie können die Aufgabe für Bonuspunkte bearbeiten, aber sie zählt nicht zur Maximalpunktzahl des Blatts (also hat Blatt 6 eine Maximalpunktzahl von 34 Pkt statt 50 Pkt). 
• 01. Juni: Bitte nehmen Sie an der Online-Umfrage zur Lehrevaluation teil. Die Umfrage ist bis zum 07. Juni geöffnet.
• 22. Mai: Vom 25.05.-29.05. ist Exkursionswoche. Es ändert sich nichts an der Rythmik der Veranstaltung. Die große Übung und die kleinen Übungen finden wieder in der Woche vom 01.06.-05.06. statt. 
• 07. Mai: Für den 11.05. ist eine Ausfallempfehlung ausgesprochen worden. Die Vorlesung an diesem Tag fällt aus.
• 24. April: Weitere Abgabegruppen im StudIP wurden hinzugefügt.
• 30. März: Am 13.04. findet anstelle der Vorlesung eine Übung statt. Am 14.04. findet anstelle der Übung eine Vorlesung statt.
• 14. April: Die Große Übung wird erneut am 21.04. stattfinden, und ab dann im zweiwöchigen Rythmus.

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 - 08:00-10:00, Raumaufteilung siehe unten.
• Vorlesung und Übung starten in der Woche des 13.04..

Klausur

Die Klausur findet am 28. Juli 2026 um 08:00-10:00 Uhr statt. Die Raumaufteilung ist nach Nachname organisiert:

• [A-L] in Raum ZI 24.2
• [M-Z] in Raum ZI 24.1

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.