250046 VO Mathematische Logik (2023W)
Labels
VOR-ORT
An/Abmeldung
Hinweis: Ihr Anmeldezeitpunkt innerhalb der Frist hat keine Auswirkungen auf die Platzvergabe (kein "first come, first served").
Details
Sprache: Englisch
Prüfungstermine
- Mittwoch 31.01.2024 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 28.02.2024 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
- Mittwoch 17.04.2024
- Mittwoch 26.06.2024
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
- Mittwoch 04.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 06.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 11.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 13.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 18.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 20.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 25.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 27.10. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 03.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 08.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 10.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 15.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 17.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 22.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 24.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 29.11. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 01.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 06.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 13.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 15.12. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 10.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 12.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 17.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 19.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Mittwoch 24.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
- Freitag 26.01. 09:45 - 11:15 Hörsaal 2 Oskar-Morgenstern-Platz 1 Erdgeschoß
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
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.
Art der Leistungskontrolle und erlaubte Hilfsmittel
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.
Mindestanforderungen und Beurteilungsmaßstab
The course grade will be solely determined by the written final exam. The minimal threshold for passing the class is 50/100.
Prüfungsstoff
The final exam will cover the material discussed in the lecture.
Literatur
Herbert B. Enderton "A mathematical introduction to logic"
Zuordnung im Vorlesungsverzeichnis
LOG
Letzte Änderung: Di 07.05.2024 15:06