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

250135 PS Introduction to Mathematical Logic (2024W)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik
Continuous assessment of course work
We 02.10. 09:45-11:15 Seminarraum 10, Kolingasse 14-16, OG01

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

max. 25 participants
Language: English

Lecturers

Classes (iCal) - next class is marked with N

  • Wednesday 09.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 16.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 23.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 30.10. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 06.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 13.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 20.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 27.11. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 04.12. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 11.12. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 08.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 15.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 22.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01
  • Wednesday 29.01. 09:45 - 11:15 Seminarraum 10, Kolingasse 14-16, OG01

Information

Aims, contents and method of the course

This discussion section accompanies the lecture 250097 VO Introduction to Mathematical logic. We will practice applying the theory covered in the lecture and also discuss some complementary material.

Assessment and permitted materials

Your grade will be based on participation and regular homework assignments.

Minimum requirements and assessment criteria

Examination topics

Reading list

"A first journey through logic" by M. Hils and F. Loeser (https://webusers.imj-prg.fr/~francois.loeser/stml089.pdf)
"Mathematical Logic Lecture Notes" by Lou van den Dries (https://www.mat.univie.ac.at/~panagiotopoulos/2019.pdf)

Association in the course directory

MLOL

Last modified: Th 12.09.2024 13:46