250095 VO Introduction to mathematical logic (2021W)
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
Lehrende
Termine (iCal) - nächster Termin ist mit N markiert
Dienstag
05.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
07.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
12.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
14.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
19.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
21.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
28.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
04.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
09.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
11.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
16.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
18.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
23.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
25.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
30.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
02.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
07.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
09.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
14.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
16.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
11.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
13.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
18.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
20.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Dienstag
25.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Donnerstag
27.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Information
Ziele, Inhalte und Methode der Lehrveranstaltung
The class is an introduction to mathematical logic, leading all the way to Gödel's incompleteness theorems. Students are strongly encouraged to sign up for the accompanying discussion session in which the weekly problem sets will be discussed.
Art der Leistungskontrolle und erlaubte Hilfsmittel
There will be a written exam during the last week of classes. The material covered on the exam is the same as the material covered in the lecture. This includes applications of the material to solving problems similar to the ones from the problem sets.
Mindestanforderungen und Beurteilungsmaßstab
A minimum of 50% on the written exam is required to pass the class.
Prüfungsstoff
All the material covered in the lecture, including its application to solving problems.
Literatur
We will roughly be following A. Tserunyan's lecture notes:
https://www.math.mcgill.ca/atserunyan/Teaching_notes/logic_lectures.pdf
More references will be provided during the course of the semester.
https://www.math.mcgill.ca/atserunyan/Teaching_notes/logic_lectures.pdf
More references will be provided during the course of the semester.
Zuordnung im Vorlesungsverzeichnis
MLOL
Letzte Änderung: Fr 18.03.2022 15:48