Sommersemester 2012
Uwe.Scheffler[@]tu-dresden.de
Logik, Teil II
Vorlesung
mittwochs 14:50-16:20, ASB 120
Literatur:
04.04.
Einführung -- Scheffler
11.04.
18.04.
Mengentheorie
25.04.
02.05.
Axiomatik, Beweise, Ableitungen
16.05.
23.05.
06.06.
13.06.
20.06.
27.06.
04.07.
Korrektheit und Vollständigkeit
11.07.
Formale Arithmetik