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.

2020S, VU, 2.0h, 3.0EC
TUWEL

Properties

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

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
Tue09:15 - 09:3003.03.2020 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced Mathematical Logic - Vorbesprechung
Tue09:15 - 12:0005.05.2020 - 16.06.2020 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Advanced Mathematical Logic - Single appointments
DayDateTimeLocationDescription
Tue03.03.202009:15 - 09:30 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced Mathematical Logic - Vorbesprechung
Tue05.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Tue12.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Tue19.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Tue26.05.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Tue09.06.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten
Tue16.06.202009:15 - 12:00 Besprechungsraum des Instituts für Diskrete Mathematik und Geometrie, E104, Freihaus, 5. Stock, grüner Bereich, DA05C22Advanced mathematical logic; wird geblockt abgehalten

Examination modalities

Two homeworks, each consisting of 6-7 problems.

Course registration

Not necessary

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