Mathematical Logic

SS 2019

Schedule

Type Date Location   Organizer
V3 Tue 12:45 14:00 1420|002 (Roter Hörsaal) Lecture (Start 9th April) E. Grädel
Fr 12:30 13:30 1420|002 (Roter Hörsaal) Lecture (Start 5th April) E. Grädel
Fr 13:30 14:00 1420|002 (Roter Hörsaal) Discussion E. Grädel
Ü2 Tue 16:30 18:00 1010|107 (III) Group 10 L. Mrkonjić
Wed 14:30 16:00 1132|303 (HKW 2) Group 12 F. Bloemers
Wed 16:30 18:00 2350|314.1 (AH III) Group 13 M. Hoelzel
Thu 10:30 12:00 2356|055 (5055) Group 2 R. Wilke
Do 10:30 12:00 2353|116 (i7 Seminarraum) Group 11 R. Westermann
Thu 12:30 14:00 2350|111 (AH II) Group 9 B. Pago
Do 12:30 14:00 2353|116 (i7 Seminarraum) Group 4 T. Andres
Fr 08:30 10:00 2350|028 (AH I) Group 1 A. Kusidlo
Fr 10:30 12:00 2350|028 (AH I) Group 5 O. Gaul
Fr 10:30 12:00 2350|314.1 (AH III) Group 14 K. Dannert
Fr 14:30 16:00 2356|052 (5052) Group 7 A. Ponjavić

Lecture Notes

  • Vollständiges Skript [pdf] [pdf-2up]
  • Chapter 0: Notation [pdf]
  • Chapter 1: Aussagenlogik [pdf]
  • Chapter 2: Syntax und Semantik der Prädikatenlogik [pdf]
  • Chapter 3: Definierbarkeit in der Prädikatenlogik [pdf]
  • Chapter 4: Vollständigkeitssatz, Kompaktheitssatz und Unentscheidbarkeit der Prädikatenlogik [pdf]
  • Chapter 5: Modallogik, temporale Logiken und monadische Logik [pdf]

Coursework

Content

  • Propositional logic (foundations, algorithmical questions, compactness, resolution, sequent calculus)
  • Structures, syntax und semantic of the Predicate logic
  • Introduction into other logics (modal and temporal Logics, higher order logics)
  • Evaluation games, model comparison games
  • Proof calculi, term structures, completeness theorem
  • Compactness theorem and applications
  • Decidability, undecidability and complexity of logical specifications

Literature

[1] S. Burris. Logic for Mathematics and Computer Science. Prentice Hall, 1998.
[2] R. Cori and D. Lascar. Logique mathématique. Masson, 1993.
[3] H. Ebbinghaus, J. Flum, and W. Thomas. Einführung in die mathematische Logik. Wissenschaftliche Buchgesellschaft, Darmstadt, 1986.
[4] M. Huth and M. Ryan. Logic in Computer Science. Modelling and reasoning about systems. Cambridge University Press, 2000.
[5] B. Heinemann and K. Weihrauch. Logik für Informatiker. Teubner, 1992.
[6] H. K. Büning and T. Lettman. Aussagenlogik: Deduktion und Algorithmen. Teubner, 1994.
[7] S. Popkorn. First Steps in Modal Logic. Cambridge University Press, 1994.
[8] W. Rautenberg. Einführung in die Mathematische Logik. Vieweg, 1996.
[9] U. Schöning. Logik für Informatiker. Spektrum Verlag, 1995.
[10] D. van Dalen. Logic and Structure. Springer, Berlin, Heidelberg, 1983.

Classification

  • Informatik (B.Sc.)/4. Semester
  • Mathematik (B.Sc.)/Mathematik (WS)/4. Semester
  • Mathematik (B.Sc.)/Mathematik (WS)/6. Semester
  • Mathematik (B.Sc.)/Mathematik (SS)/5. Semester
  • Informatik (S II)
  • Mathematik (S II)/Hauptstudium/B: Algebra und Grundlagen der Mathematik

Prerequisites

  • Basic mathematical knowledge from the lectures Discrete Structures and Linear Algebra
  • Basic knowledge about recursion theory and complexity theory

Successive Courses

  • Algorithmic Model Theory
  • Mathematical Logic II
  • Complexity Theory und Quantum Computing
  • Logic and Games
  • Other specialized lectures around the topic of Mathematical Logic

Recurrence

Every year in the summer term

Contact

Benedikt Pago, Erich Grädel