Universität Wien
Warning! The directory is not yet complete and will be amended until the beginning of the term.

250134 VO Introduction to Mathematical logic (2023S)

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

  • Wednesday 01.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 06.03. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 08.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 15.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 20.03. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 22.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 27.03. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 29.03. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 17.04. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 19.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 24.04. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 26.04. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 03.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 08.05. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 10.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 15.05. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 17.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 22.05. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 24.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 31.05. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 05.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 07.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 12.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 14.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 19.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock
  • Wednesday 21.06. 13:15 - 14:45 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 26.06. 13:15 - 14:45 Seminarraum 10 Oskar-Morgenstern-Platz 1 2.Stock

Information

Aims, contents and method of the course

The class is an introduction to mathematical logic. The material covered will include completeness of first order logic, Gödel's incompleteness theorems, some basics of model theory, recursion theory and set theory.

Assessment and permitted materials

There will be a final exam during the last lecture on June 28, 2023. A couple exam dates will be announced later, to take place during WS 2023.

Minimum requirements and assessment criteria

Pass the final exam.

Examination topics

For the final exam you will need to know the material covered in the lecture and be able to apply it. I will regularly assign problems that will help you deepen your understanding of the material. You should expect similar problems to appear on the final.

Reading list

A major part of the course will follow the book "A first journey through logic" by M. Hils and F. Loeser:
https://webusers.imj-prg.fr/~francois.loeser/stml089.pdf

Association in the course directory

MLOL

Last modified: Mo 11.12.2023 13:46