Warning! The directory is not yet complete and will be amended until the beginning of the term.
250046 VO Mathematical Logic (2023W)
Labels
ON-SITE
Registration/Deregistration
Note: The time of your registration within the registration period has no effect on the allocation of places (no first come, first served).
Details
Language: English
Examination dates
- Wednesday 31.01.2024 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 28.02.2024 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
- Wednesday 17.04.2024
- Wednesday 26.06.2024
Lecturers
Classes (iCal) - next class is marked with N
- Wednesday 04.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 06.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 11.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 13.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 18.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 20.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 25.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 27.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 03.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 08.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 10.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 15.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 17.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 22.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 24.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 29.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 01.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 06.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 13.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 15.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 10.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 12.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 17.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 19.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Wednesday 24.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Friday 26.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
Information
Aims, contents and method of the course
We will discuss the basics of first order logic, including soundness and completeness (roughly, the first two chapters in Enderton's book). This will be followed by an introduction to set theory to an extent that should be useful for every mathematician. References will be specified during the course of the semester. Note that the lectures will be held in English.
Assessment and permitted materials
The final exam will test your knowledge of the material covered in the lecture, as well as your ability to apply it to basic problems. I will assign weekly problem sets. Even though your solutions will not have a bearing on your course grade, I strongly recommend to work out the problems in order to make sure that you really understand the material. You are also encouraged to sign up for the course's discussion session, where the problem sets will be discussed.
Minimum requirements and assessment criteria
The course grade will be solely determined by the written final exam. The minimal threshold for passing the class is 50/100.
Examination topics
The final exam will cover the material discussed in the lecture.
Reading list
Herbert B. Enderton "A mathematical introduction to logic"
Association in the course directory
LOG
Last modified: Tu 07.05.2024 15:06