Universität Wien

250095 VO Introduction to mathematical logic (2021W)

6.00 ECTS (4.00 SWS), SPL 25 - Mathematik
ON-SITE
Moodle

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).
Register/Deregister for this course

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.

Association in the course directory

MLOL

Last modified: Fr 18.03.2022 15:48