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

250046 VO Mathematical Logic (2024W)

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

  • Tuesday 01.10. 09:45 - 11:15 Seminarraum 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 03.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 08.10. 09:45 - 11:15 Seminarraum 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 10.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 15.10. 09:45 - 11:10 Seminarraum 11 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 17.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 22.10. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 24.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 29.10. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 31.10. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 05.11. 11:30 - 13:00 Seminarraum 14 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 07.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 12.11. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 14.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 19.11. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 21.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 26.11. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 28.11. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 03.12. 11:30 - 13:00 Seminarraum 1 Oskar-Morgenstern-Platz 1 Erdgeschoß
  • Thursday 05.12. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 10.12. 11:30 - 13:00 Seminarraum 1 Oskar-Morgenstern-Platz 1 Erdgeschoß
  • Thursday 12.12. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 17.12. 11:30 - 13:00 Seminarraum 12 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 07.01. 11:30 - 13:00 Seminarraum 12 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 09.01. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 14.01. 11:30 - 13:00 Seminarraum 12 Oskar-Morgenstern-Platz 1 2.Stock
  • Thursday 16.01. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 21.01. 11:30 - 13:00 Seminarraum 6 Oskar-Morgenstern-Platz 1 1.Stock
  • Thursday 23.01. 09:45 - 11:15 Seminarraum 7 Oskar-Morgenstern-Platz 1 2.Stock
  • Tuesday 28.01. 11:30 - 13:00 Seminarraum 13 Oskar-Morgenstern-Platz 1 2.Stock

Information

Aims, contents and method of the course

The main objective of this course is to cover the basics of first order logic, including soundness and completeness.

Assessment and permitted materials

The final exam will test your knowledge of the material covered in the lecture, as well as your ability to apply it to basic problems. I will assign weekly problem sets. Even though your solutions will not go into your course grade, I strongly recommend to work out the problems in order to make sure that you really understand the material. You are also encouraged to sign up for the course's discussion session, where the problem sets will be discussed.

Minimum requirements and assessment criteria

The course grade will be solely determined by the written final exam. The minimal threshold for passing the class is 50/100.

Examination topics

The final exam will cover the material discussed in the lecture. You will need to be able to apply this material to solve basic problems.

Reading list

Herbert B. Enderton "A mathematical introduction to logic"
Lou van den Dries "Tame topology and o-minimal structures"
Philipp Rothmaler "Introduction to model theory"
J.-L. Krivine "Théorie des ensembles"

Association in the course directory

LOG

Last modified: Mo 20.01.2025 11:26