Vorlesung Logik
Wintersemester 15/16
Leistungsnachweis
Gilt für Bachelorprüfung Mathematik (WP18), Masterprüfungen Mathematik (WP12) und Wirtschaftsmathematik (WP59), Diplomhauptprüfung Mathematik (RM), Diplomhauptprüfung Wirtschaftsmathematik (Kernfach D).Zeit und Ort
Vorlesung: Di 14-16, Do 14-16, B 006; Beginn 13. Oktober 2015.Übung: Do 16-18, B 006; Beginn 22. Oktober 2015.
Inhalt
Zuerst wird die Prädikatenlogik erster Stufe eingeführt und hiernach der Gödelsche Vollständigkeitssatz bewiesen. Dann werden die Grundlagen der Berechenarkeitstheorie und der erste Gödelsche Unvollständigkeitssatz behandelt.Vorkenntnisse
Keine speziellen Vorkenntnisse erforderlich.Material
- Skriptum
- Ergänzende Notizen, 17.12
Übungen
Bitte melden Sie sich hier an.Übungsblätter werden an dieser Stelle veröffentlicht: 1. 2. 3. 4. 5. 6. 7. 8. 9. 10. 11. 12.
Die Lösungen werden in der Übungsstunde präsentiert.
Die korriegierten Blätter liegen im Rückgabekasten im 1. Stock.
Abgabe: jeden Donnerstag am Ende der Vorlesung.
Tutorial
Besprechung von Übungsaufgaben und Klärung von Fragen zur Vorlesung.- Christian Saile Mi 12-14, B 040; Beginn 21. Oktober 2015
Mitarbeiter und Sprechstunden
- Dr. habil. Josef Berger
- Dr. Iosif Petrakis, Do 13-14, B 420.
- Christian Saile [saile.christian1[at]googlemail.com] Mi 14-15, B 420
Literatur
- D. van Dalen: Logic and Structure, Springer, 2004.
Klausuren
- Klausur: 04.02.2016, Raum C 123, 16-18
- Ergebnis
Klausureinsicht: Di 09.02 (13-14) und Do 11.02 (13-14), Raum B420.
Zeugnis abholen: ab Mo 15.02, Raum B420.
- Nachholklausur: 08.04.2016, Raum B 005, 16-18
- Ergebnis
Klausureinsicht: Do 14.04 (13-14) und Fr 15.04 (10-11), Raum B418.
Zeugnis abholen: ab Mo 18.04, Raum B418.