Vorlesung Logik
Wintersemester 16/17

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 18. Oktober 2016.
Übung: Fr 12-14, B 006; Beginn 21. Oktober 2016.

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

• Skript
• Ergänzende Notizen, 16.12
• Tutorial Übungen, 16.01

Ü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 bis 14:15 im Übungskasten im 1. Stock

Tutorial

Besprechung von Übungsaufgaben und Klärung von Fragen zur Vorlesung.

• Christian Ittner Mo 12-14, B 134; Beginn 24. Oktober 2016, Mi 10-12, B 046; Beginn 26. Oktober 2016.
  

Mitarbeiter und Sprechstunden

• Priv.-Doz. Dr. Josef Berger, B 418
• Dr. Iosif Petrakis, Fr 11-12, B 418.
• Christian Ittner, nach Vereinbarung, Cafe Gumbel (B 030).

Literatur

• D. van Dalen: Logic and Structure, Springer, 2004.

Klausuren

• Klausur: Do 09.02.2017, Raum B 052, 14-16
  
• Ergebnis
  Klausureinsicht: Fr 17.02 (13-14) und Mo 20.02 (13-14), Raum B 418.
  

Nachklausur: Mi 12.04.2017, Raum: Geschw.-Scholl-Pl. 1 (M) - M 018, 10-12

Ergebnis
Klausureinsicht: Fr 28.04 (15-16) und Di 02.05 (10-11), Raum B 418.

Letzte Änderung

26. April 2017