Hauptseminar Mathematische Logik (S2A2)

Dozenten

• Prof. Dr. Peter Koepke
• Dr. Philipp Lücke

Zeit und Ort

• Dienstag, 16.15-18.00 Uhr, Seminarraum N0.008.
• Beginn: 09.10.2018

Programm

1. ∀∃-Fragment/Monadic [1, 5.1-5.3, 308-317]

2. Finite model property [1, 5.5, 320-328]

3. Quantifier elimination and dense linear orders [1, 5.6, 328-336] - Schütz (16.10.)

4. + 5. Presburger Arithmetic [1, 336-350] - Hennes & Westheide (23.10. & 30.10.)

6. + 7. Complex Numbers [1, 352-366] (+ weitere mathematische Grundlagen) - Kaak & Kornemann (06.11. & 13.11.)

8. + 9. The Real Numbers [1, 5.9, 366-380] - Weglarz & Kroemer (20.11. & 27.11.)

10. + 11. Wordproblems [1, 5.10, 380-400] - Schembecker & Teichmann (04.12 & 11.12.)

12. + 13. Gröbner bases [1, 400-419]

Literatur

[1] John Harrison: Handbook of practical logic and automated reasoning, Cambridge University Press, 2009.