Universität Wien

250135 PS Introductory Seminar on Mathematical Logic (2023S)

3.00 ECTS (2.00 SWS), SPL 25 - Mathematik
Continuous assessment of course work
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).

Details

max. 25 participants
Language: English

Lecturers

Classes (iCal) - next class is marked with N

The Introductory Seminar on Mathematical Logic will meet regularly at all dates in the advertised schedule (12 meetings total, all of them Monday mornings 8:00-9:30 in Seminarraum 10, Kolingasse 14-16).

  • Monday 06.03. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 20.03. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 27.03. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 17.04. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 24.04. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 08.05. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 15.05. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 22.05. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 05.06. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 12.06. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 19.06. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01
  • Monday 26.06. 08:00 - 09:30 Seminarraum 10, Kolingasse 14-16, OG01

Information

Aims, contents and method of the course

The goal of this course is for students to acquire a basic working literacy in mathematical logic which will prepare them for future mathematical logic courses, particularly courses in model theory and set theory.
The content of the course is essentially chapter 1-5 of the course text (see below), although we might make some changes.
The content will primarily be taught in the lecture portion of this course; in this Seminar we will primarily discuss exercises related to the content of the course.

Assessment and permitted materials

Students must regularly submit written work, attend the seminar, and present their solutions in class. Any aids may be used.

Minimum requirements and assessment criteria

A positive grade of "1" will be earned by students satisfying the following conditions:
1. At least 50% submission of written work.
2. At least 8/12 attendance in class (attendance will be recorded).
3. At least two presentations in class.

Examination topics

There is no final exam for this course. Course performance will be assessed continuously through submission of written work, attendance, and presentations of solutions in class.

Reading list

The primary literature for the course is the text "A First Journey Through Logic" by Martin Hils and François Loeser, chapters 1-5 (excluding chapter 6, "Axiomatic Set Theory").

Association in the course directory

MLOL

Last modified: Tu 14.03.2023 12:09