Vorlesung Logik
Wintersemester 17/18

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: Mo 8-10, Fr 8-10, B 004; Beginn 16. Oktober 2017.
Übung: Fr 10-12, B 005; Beginn 27. Oktober 2017.

Inhalt

Constructive mathematics and classical mathematics, the principle of the excluded middle, constructive logic and classical logic in natural deduction, the Gödel-Gentzen translation, the Curry-Howard correspondence, the Church-Rosser property, the strong normalization theoren, the subformula property, fan models, soundness and completeness of minimal logic, classical models, soundness and completeness of classical logic.

Vorkenntnisse

Keine speziellen Vorkenntnisse erforderlich.

Material

• Skriptum
  

Ü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. 13. Probeklausur.

Abgabe: jeder Freitag am Ende der Vorlesung.

Mitarbeiter und Sprechstunden

• Dr. Iosif Petrakis, Mo 10-11, B 418.
• Nguyen, Dinh Thanh, email: Thanh-Nguyen-2007@web.de, Sprechstunde nach Vereinbarung.

Literatur

• Schwichtenberg/Wainer, Proofs and Computations. Cambridge 2012

Klausuren (keine Anmeldung nötig)

Klausur: 07.02.2018, B 052, 8-10.
Ergebnis
Klausureinsicht: Mo 19.02 (12-13) und Mi 21.02 (13-14), Raum B 418.

Nachholklausur: 06.04.2018, B 052, 2-4.
Ergebnis
Klausureinsicht: Fr 20.04 (13-14) und Mo 23.04 (13-14), Raum B 418.

Letzte Änderung

19. April 2018