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
- 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