Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Logik in der Informatik

Sommersemester 2023

Aktuelles

• 28.6.23: Die Termine für die Themen 10 und 3 haben sich geändert: Thema 10 wird am 12.7. (statt 28.6.) behandelt, Thema 3 wird am 19.7. (statt 12.7.) behandelt.
• Die Latex-Vorlage, mit der die Seminar-Ausarbeitungen erstellt werden sollen, finden Sie hier: [LINK]
• Die Vorbesprechung fand in der ersten Vorlesungswoche, am Mittwoch den 19.04.23, ab 13:30 Uhr in Raum 3.408 (Johann von Neumann-Haus) statt.
• Das Seminar wird in Präsenz durchgeführt.

Thema

Dieses Seminar richtet sich an Studierende, die bereits das Modul "Ausgewählte Kapitel der Logik: klassische Resultate" absolviert haben.

Ziel ist, im Rahmen des Seminars weitere Kapitel des Lehrbuchs "Einführung in die mathematische Logik" von Ebbinghaus, Flum und Thomas zu behandeln. U.a. geht es um die Tragweite der Logik erster Stufe, Erweiterungen der Logik erster Stufe und die Sätze von Lindström.

Ort und Zeit

Seminar

Mittwochs 13:30-15:00 Uhr in Raum 3.408 im Johann von Neumann-Haus (Rudower Chaussee 25)

Dozentin: Prof. Dr. Nicole Schweikardt

 

Konkrete Themen:

• Thema 1: Der erste Seminartermin (Vorbesprechung, Organisatorisches) findet am Mittwoch, den 19.04.23 statt.
• Thema 2: Kapitel 7 (Zur Tragweite der ersten Stufe): Seiten 105-122 — behandelt am 10.5.23
• Thema 4: Kapitel 9.2 und 9.3 (Die Systeme L_ω1ω und L_Q): Seiten 151-158 — behandelt am 17.5.23
• Thema 5: Kapitel 13.1 und 13.2 (Logische Systeme, reguläre logische Systeme): Seiten 299-304 — behandelt am 24.5.23
• Thema 6: Kapitel 13.3 (Der erste Satz von Lindström): Seiten 304-311 — behandelt am 31.5.23
• Thema 7: Kapitel 13.4 (Der zweite Satz von Lindström): Seiten 311-316 — behandelt am 7.6.23
• Thema 8: Kapitel 10.8 (Die Entscheidbarkeit der Presburger-Arithmetik): Seiten 199-206 — behandelt am 14.6.23
• Thema 9: Kapitel 10.9 (Die Entscheidbarkeit der schwachen monadischen Nachfolger-Arithmetik): Seiten 206-224 — behandelt am 21.6.23
• Thema 10: Kapitel 8.1-8.3 (Termreduzierte Ausdrücke und relationale Symbolmengen, Syntaktische Interpretationen, Definitionserweiterungen): Seiten 123-137; und zusätzlich zum Thema "Syntaktische Interpretationen" (auch "Transduktionen" genannt) noch Kapitel 1.7.1 und 1.7.2 (Seiten 59-67) des Buchs "Graph Structure and Monadic Second-Order Logic - a Language Theoretic Approach" von Bruno Courcelle und Joost Engelfriet (Cambridge University Press 2012; eine Vorabversion findet sich hier: [LINK]) — behandelt am 28.6.23 12.7.23
• Exkurs: A short introduction to Model Theory — behandelt am 5.7.23
• Thema 3: Kapitel 9.1 und 10.5 (Die Logik zweiter Stufe und deren Unvollständigkeit): Seiten 145-151 und 181-183 — behandelt am 12.7.23 19.7.23.

Literatur