Einführung in die Logik SS24

News

• 5. Juni: Die Vorlesung fällt heute aus.

• 25. März: Die erste Vorlesung findet am Mittwoch, den 10. April statt.

• 04. April: Die erste große Übung findet am Montag, den 08. April statt.

• 15. April: Anmeldung zu den kleinen Übungen ab heute um 13:10 möglich auf StudIP.

• 16. April: Die Termin-Informationen zu den kleinen Übungen auf StudIP sind falsch. Richten Sie sich bitte nach den Informationen weiter unten auf dieser Seite.

• 22. April: Neue Abgabegruppen für die kleinen Übungen sind verfügbar.

• 22. Mai: Am 27. Mai fällt die Vorlesung wegen einer Vollversammlung aus.

Organisation

• Der Modulverantwortliche und Prüfer ist Prof. Dr. Roland Meyer.
• Die Vorlesung wird von Jens Gutsfeld gehalten, die große Übung wird von Sören van der Wall gehalten. 
• Eintrag im Vorlesungsverzeichnis: Vorlesung, kleine Übung, Prüfung
• Turnus: nur im Sommersemester
• Arbeitsaufwand: 42 h Präsenzstudium + 108 h Selbststudium
• Vorlesungstermin: Mittwoch, 09:45 - 11:15 in PK 11.1 - startend am 10.04.
• Große Übung/Vorlesung: Montag, 11:30 - 13:00 in PK 11.1 - startend am 08.04.
• Kleine Übungen: Anmeldung im StudIP.
• Abgabe der Übungsblätter im StudIP.
• Falls Infos fehlen, sehen Sie bitte auch auf die andere Website.

Modul

Um das Modul erfolgreich abzuschließen, sind zwei Leistungen zu erbringen:

• Prüfungsleistung: Sie bestehen die schriftliche Abschlussklausur.
• Studienleistung: Sie erreichen mindestens 50% der Punkte in den Übungsaufgaben.

Handschriftliche Notizen zur Vorlesung.

• Einführung in das Beweisen
• Syntax und Semantik Aussagenlogik, Kompaktheitssatz
• Deduktionstheorem
• Vollständigkeit, Sequenzen, Tabeleaus
• Beispiel zur Tseitin-Transformation
• Beispiele Davis Putnam und Resolution, Widerlegungsvollständigkeit der Resolution
• Syntax und Semantik Prädikatenlogik erster Stufe
• Substitution und Normalformen
• Herbrand-Theorie
• Allgemeingültigkeit
• Kompaktheitssatz der Prädikatenlogik
• Theorien
• Tableaus und Unifikation
• Prädikatenlogische Resolution
• Nichtstandardmodelle

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.