News
Update regarding exam venueWritten on 22.08.23 by Frederik Herzberg The oral exams for our lecture course have now been scheduled to be held in seminar room 1 (building E2_5, room U.37). Please ignore any previous information regarding the exam venue. The individual exam times have been sent by e-mail to all who have registered. |
Exam dates - please register by 8 August 2023Written on 20.07.23 by Frederik Herzberg The oral examinations (duration: 25 minutes) for our lecture course will be held on the following days:
Please register for the exam in LSF and also reserve your preferred exam date by sending a short e-mail to herzberg@math.uni-sb.de… Read more The oral examinations (duration: 25 minutes) for our lecture course will be held on the following days:
Please register for the exam in LSF and also reserve your preferred exam date by sending a short e-mail to herzberg@math.uni-sb.de (no later than 8 August 2023). The default language of the exam will be English. Depending on the availability of a German-speaking co-examiner, a German exam may also be possible. If you prefer a German exam, please indicate this when reserving your exam date. Wishing you the best of success in your exam. |
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