en | de

Computationale Logik

Masterstudium

VU3  SS 2020  703824


Beschreibung

The course discusses different proof systems for first-order logic (without equality) as well as limitations and extensions of first-order logic: semantic tableaux, sequent calculus, Hilbert systems; soundness and completeness; compactness; Herbrand's theorem; Craig's interpolation theorem; second-order logic; Curry-Howard isomorphism.


Zeitplan

Woche Datum Folien Proseminar Musterlösungen Bemerkungen
1 03.03 pdf (1, 4) pdf pdf
2 10.03 pdf (1, 4) pdf pdf
3 17.03 pdf (1, 4) pdf pdf
4 24.03 pdf (1, 4) pdf pdf
5 31.03 pdf (1, 4) pdf pdf
6 21.04 pdf (1, 4) pdf pdf
7 28.04 pdf (1, 4) pdf pdf
8 05.05
9 12.05 pdf pdf exam