Knowledge of central theorems and techniques of classical mathematical logic, that are neither covered in bachelor courses nor in the module "Logic and Computation".
- rudiments of model theory
- completeness proof for classical first order logic
- quantifier elimination
- Gödel's first and second incompleteness theorems
The course takes placed in blocked format, probably during two weeks.
ETCS Breakdown (3 ETCS = 90 hours):
General introduction to courses of the "Theory and Logic Group" (185/2):
Thursday, October 10, 11am, Zemanek-Room, Favortienstraße 11, ground floor
Basic notions of classical propositional and first order logic
