News
07.06.2023

Lecture and tutorial for 9th June postponedDue to continued ill health, the lecture and tutorial this Friday, 9th June, cannot be delivered. I apologise for the inconvenience. Starting next week hopefully, we will extend the usual lecture and tutorial times somewhat to make up for the lost time. I suggest... Read more Due to continued ill health, the lecture and tutorial this Friday, 9th June, cannot be delivered. I apologise for the inconvenience. Starting next week hopefully, we will extend the usual lecture and tutorial times somewhat to make up for the lost time. I suggest we discuss the particulars in class next Friday, 16th June, from 10:00am. 
01.06.2023

No lecture, no tutorial on 2nd JuneUnfortunately, the lecture and tutorial this Friday, 2nd June, must be cancelled due to ill health. Apologies for the short notice and the inconvenience. 
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
 Hilbertstyle 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, 1012am, building E2 4, Seminar room 10
Tutorial
Friday, 45pm, 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