Universität Wien FIND

Due to the COVID-19 pandemic, changes to courses and exams may be necessary at short notice (e.g. cancellation of on-site teaching and conversion to online exams). Register for courses/exams via u:space, find out about the current status on u:find and on the moodle learning platform. NOTE: Courses where at least one unit is on-site are currently marked "on-site" in u:find.

Further information about on-site teaching and access tests can be found at https://studieren.univie.ac.at/en/info.

250098 PS Introductory seminar on mathematical logic (2020W)

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

Registration/Deregistration

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: We 07.10.2020 15:10