News
Currently, no news are available
Introduction to Mathematical Logic
Apl. Prof. Dr. Frederik Herzberg
Synopsis
This course provides an introduction to mathematical logic, with a focus on basic model theory. Topics include:
- Lattices and Boolean algebras
- Hilbert-style calculi
- Completeness of the propositional calculus
- Completeness of the predicate calculus
- Ultraproducts and applications
Prerequisites
Intended audience:
- mathematics students from the 4th semester onwards,
- computer science students with a strong background in mathematics.
Lecture
Friday, 10-12am, building E2 4, Seminar room 10
Tutorial
Friday, 4-5pm, building E2 4, Seminar room 10 (from 28th April)
References
- Bell & Machover, A course in mathematical logic. North Holland / Elsevier
- Bell & Slomson, Models and ultraproducts. North Holland / Reprint: Dover
- Rautenberg, A concise introduction to mathematical logic. Springer