104.394 Advanced Mathematical Logic
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2022S, VU, 2.0h, 3.0EC
TUWEL

Properties

  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Online

Learning outcomes

After successful completion of the course, students are able to understand and independently prove various advanced logical (in particular, model-theoretic and computability-theoretic) statements and facts.

Subject of course

The following topics are intended to be treated in the course:

- Quantifier Elimination
- Gödel's incompleteness theorems
- Computable structures

Teaching methods

Lectures and discussions

Mode of examination

Oral

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Thu13:00 - 13:3003.03.2022 https://tuwien.zoom.us/j/98040878882?pwd=R01PNEhrSUV0R3RjWHFQNUdOTUd3Zz09 (LIVE)Vorbesprechung
Thu13:00 - 15:3005.05.2022 - 02.06.2022 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Advanced Mathematical Logic - Single appointments
DayDateTimeLocationDescription
Thu03.03.202213:00 - 13:30 https://tuwien.zoom.us/j/98040878882?pwd=R01PNEhrSUV0R3RjWHFQNUdOTUd3Zz09Vorbesprechung
Thu05.05.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Thu12.05.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Thu19.05.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic
Thu02.06.202213:00 - 15:30 Besprechungszimmer des Institutes für Diskrete Mathematik, Freihaus, grüner Bereich, 5. Stock, DA05 C22Advanced Mathematical Logic

Examination modalities

Two homeworks, each consisting of 6-7 problems.

Course registration

Begin End Deregistration end
22.02.2022 00:00 19.05.2022 23:59

Curricula

Literature

No lecture notes are available.

Previous knowledge

Knowledge of the basic notions of mathematical logic (syntax, semantics, first-order, propositional, main concepts of computability theory) will be assumed. It is recommended (but not required) to attend the course Computability Theory beforehand.

Language

if required in English