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