Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice. Inform yourself about the current status on u:find and check your e-mails regularly.

Please read the information on https://studieren.univie.ac.at/en/info.

250095 VO Introduction to mathematical logic (2021W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik
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

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
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.

Association in the course directory

MLOL

Last modified: Mo 04.10.2021 11:11