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

Wintersemester 2025/26

Aktuelles

• Die Latex-Vorlage, mit der die Seminar-Ausarbeitungen erstellt werden sollen, finden Sie hier: [LINK]. Länge der Ausarbeitung: ca. 5 Seiten (mindestens 4, maximal 7 Seiten). Deadline zur Einreichung der Ausarbeitung: Ende des WS25/26, also 31.03.2025, 23h59 AoE, als pdf-Datei per Email zu senden an Prof. Dr. Nicole Schweikardt.
• Die Vorbesprechung fand in der zweiten Vorlesungswoche, am Mittwoch den 22.10.25, ab 13:30 Uhr in Raum 3.408 (Johann von Neumann-Haus) statt.

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 22.10.25 statt.
• Thema 2: Kapitel 7 (Zur Tragweite der ersten Stufe): Seiten 105-122
• Thema 3: Kapitel 9.2 und 9.3 (Die Systeme L_ω1ω und L_Q): Seiten 151-158
• Thema 4: Kapitel 13.1 und 13.2 (Logische Systeme, reguläre logische Systeme): Seiten 299-304
• Thema 5: Kapitel 13.3 (Der erste Satz von Lindström): Seiten 304-311
• Thema 6: Kapitel 13.4 (Der zweite Satz von Lindström): Seiten 311-316
• Thema 7: Kapitel 10.8 (Die Entscheidbarkeit der Presburger-Arithmetik): Seiten 199-206
• Thema 8: Kapitel 10.9 (Die Entscheidbarkeit der schwachen monadischen Nachfolger-Arithmetik): Seiten 206-224
• Thema 9: 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])
• Thema 10: Kapitel 9.1 und 10.5 (Die Logik zweiter Stufe und deren Unvollständigkeit): Seiten 145-151 und 181-183

Literatur