Vorlesung Logik
Wintersemester 20/21

Veranstaltungsform: Online

Prüfungsform: Online

Leistungsnachweis

Gilt für Bachelorprüfung Mathematik (WP18), Masterprüfungen Mathematik (WP12) und Wirtschaftsmathematik (WP59), Diplomhauptprüfung Mathematik (RM), Diplomhauptprüfung Wirtschaftsmathematik (Kernfach D).

Uni2Work-website of the course

From 13.10.2020 you can register (no password is required) to the Uni2Work-website of the course:

https://uni2work.ifi.lmu.de/course/W20/MI/LOG

This is the main website of the course. The script, the exercises, your solutions, and the corrections to your solutions will be uploaded there. Through Uni2Work you will also receive emails concerning the course (Zoom meetings etc.).

Zeit und Ort

Vorlesung: Mo 16-18, Mi 8-10, Online; Beginn 02. November 2020.
Übung: Fr 8-10, Online; Beginn 06. November 2020.

Inhalt

Constructive logic and classical logic in natural deduction, the Güdel-Gentzen translation, the Curry-Howard correspondence, the Church-Rosser property, fan models, soundness and completeness of minimal logic, classical models, soundness and completeness of classical logic, G&uoml;del's incompleteness theorems

Vorkenntnisse

Keine speziellen Vorkenntnisse erforderlich

Material

• Script
• The lecture notes of the course will be uploaded after each lecture on Uni2Work
  

Übungen

The weekly exercises will be uploaded on the website of the course on Uni2Work.

Mitarbeiter und Sprechstunden

• Dr. Iosif Petrakis, Mi 10-11, B 324.
• Nils Koepp

Literatur

• H. Schwichtenberg and S. wainer: Proofs and Computations

Letzte Änderung

08. März 2021