Universität Wien

250098 PS Introductory seminar on mathematical logic (2020W)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik
Continuous assessment of course work

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

max. 25 participants
Language: English

Lecturers

Classes (iCal) - next class is marked with N

  • Monday 05.10. 09:00 - 10:30 Digital
  • Monday 12.10. 09:00 - 10:30 Digital
  • Monday 19.10. 09:00 - 10:30 Digital
  • Monday 09.11. 09:00 - 10:30 Digital
  • Monday 16.11. 09:00 - 10:30 Digital
  • Monday 23.11. 09:00 - 10:30 Digital
  • Monday 30.11. 09:00 - 10:30 Digital
  • Monday 07.12. 09:00 - 10:30 Digital
  • Monday 14.12. 09:00 - 10:30 Digital
  • Monday 11.01. 09:00 - 10:30 Digital
  • Monday 18.01. 09:00 - 10:30 Digital
  • Monday 25.01. 09:00 - 10:30 Digital

Information

Aims, contents and method of the course

This is an introductory seminar on mathematical logic directly connected with the graduate lecture 250095 VO - Introduction to mathematical logic -., taught by Vera Fischer.  Weekly, we will discuss the topics given in the lecture at long, as well as work on exercises related to the topics of the lecture. The goal is to work with the tools given in the lecture and practice how to apply them in different situations. Weekly there will be a list of exercises to hand in and to discuss together.

Assessment and permitted materials

The final grade will be based on the active participation in the weekly discussions, as well as the hand in of the weekly lists of exercises. In the end, there will be a final individual list of exercises for each student.

Minimum requirements and assessment criteria

Examination topics

Reading list

1) Lecture notes.
2) "A course in model theory", K. Tent and M. Ziegler, Cambridge University Press.
3) "Model theory: an introduction", D. Marker, Graduate Texts in Mathematics.
4) "The incompleteness phenomenon", M. Goldsten, H. Judah, A K Peters, Ltd.
5) Exercise lists.

Association in the course directory

MLOL

Last modified: Fr 12.05.2023 00:21