en | de

Computational Logic

master program

VO2  SS 2017  703607


Description

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.


Schedule

week date slides exercises remarks
1 06.03 pdf (1, 4) pdf
2 13.03 pdf (1, 4)
3 20.03 pdf (1, 4) pdf (slides modified)
4 27.03 pdf (1, 4)
5 03.04 pdf (1, 4) pdf
6 24.04 pdf (1, 4)
7 08.05 exam