Foundations of mathematics, 2025-2026 (WISB323)
Organisational Details
Time & Location:
- Tuesday: 09:00 - 10:45 (lecture) 11:00 - 12:45 (exercise) in BBG - 017
- Thursday: 15:15 - 17:00 (lecture) 17:15 - 19:00 (exercise) in MIN - 0.11
Lecturer: Léonard Guetta
Teaching assistants: Christian Merten & Nico Puthu-Parackat Biosca
Material: Sets, Models and Proofs from Moerdijk and van Oosten.
Exams and assignements
There will be two exams: Exam A before Christmas break and Exam B at the end of the course. In addition, there will be homework to hand in every week. These assignements are given every Thursday and must be handed in by the Thursday of the following week. You are allowed to submit these homeworks by groups of up to three people.
The homework assignements count for at most 15% of the final grade. More precisely, if E is the grade for the exams A and B (mean of the two grades), and H is the grade for the homework, then the final grade F is the maximum of E and (0.85*E + 0.15*H). The homework grade H remains valid through the resit.
To pass the course, the final grade F must be at least 5.5, or at least 5.5 must be achieved in the resit.
See the exam archive for old exams.
Schedule
| Week | Date | Material | Exercises | Assignement |
|---|---|---|---|---|
| 1 | 11/11 | Up to and including Theorem 1.1.1 and its proof | 1,2,3,5 | - |
| 1 | 13/11 | pp. 7‐16 | 6,9,10,11,18,19 | Homework 1 |
| 2 | 18/11 | pp. 17‐22 | 22,23,24 | - |
| 2 | 20/11 | pp. 22‐30 | 26,31ab,33,36,38 | TBD |
| 3 | 25/11 | pp. 32‐40 | 39,40,43,46,48 | - |
| 3 | 27/11 | pp. 40‐50 | 50,51,52 | TBD |