250095 VO Introduction to mathematical logic (2021W)
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
Lecturers
Classes (iCal) - next class is marked with N
Tuesday
05.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
07.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
12.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
14.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
19.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
21.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
28.10.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
04.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
09.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
11.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
16.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
18.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
23.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
25.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
30.11.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
02.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
07.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
09.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
14.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
16.12.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
11.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
13.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
18.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
20.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Tuesday
25.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Thursday
27.01.
13:15 - 14:45
Seminarraum 10, Kolingasse 14-16, OG01
Information
Aims, contents and method of the course
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.
Assessment and permitted materials
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.
Minimum requirements and assessment criteria
A minimum of 50% on the written exam is required to pass the class.
Examination topics
All the material covered in the lecture, including its application to solving problems.
Reading list
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.
Association in the course directory
MLOL
Last modified: Fr 18.03.2022 15:48