Hauptseminar mathematische Logik (S2A2)

Dozenten

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

Zeit und Ort

Dienstag 16(c.t.)-18, Beginn 09.10.2012, Seminarraum N0.008 (Nebengebäude im Hinterhof).

Inhalt

Syntaktische Aspekte der mathematischen Logik

In diesem Seminar geht es darum, verschiedene Kalküle der Aussagenlogik und der Logik erster Stufe zu vergleichen und syntaktische Metatheoreme zu behandeln. Dabei richten wir uns nach dem Buch First-order logic and automated theorem proving von Melvin Fitting.

Teilnehmer sollten mindestens eine Vorlesung in Logik gehört haben.

Programm

1. Luisa Vogel: Propositional Tableaux, Resolution and Model Existence (S. 41-46, 51-62), am 9. Oktober

2. Tore Carstens: Propositional Completeness (S. 64-73), am 16. Oktober

3. Klara Reichard: Hilbert Systems (S. 77-85, 146-148), am 23. Oktober

4. Daniel Witzke: Natural Deduction (S. 86-92, 149-150), am 30. Oktober

5. Fabian Schmitthenner: Davis-Putnam-Procedure and Computational Complexity (S. 98-107), am 06. November

6. Michael Buchner: First-Order Tableaux, Resolution and their Completeness (S. 137-145), am 13. November

7. Sebastian Gurke: The AE-Calculus; Gentzen's Theorem (S. 212-214, 225-228), am 20. November

8. Tashi Walde und Lisa Sauermann: Cut Elimination (S. 228-242), am 27. November und 4. Dezember

9. Julian Schlöder: Do Cuts Shorten Proofs (S. 243-253), am 11. und 18. Dezember

10. Philipp Rönchen: Craig's Interpolation Theorem (S. 254-263), am 15. Januar

11. Jakob Horneber: Tableaux and Resolution with Equality (S. 288-298), am 22. Januar