Mathematical Logic

SS 2017

News

  • Der Klausurtermin steht nun fest. Die Klausur findet am 22.08. um 13:45 Uhr statt.
  • Da der 01.05. ein Feiertag ist finden die Montags-Tutorien (Gruppen F-K) in dieser Woche nicht statt. Zudem ist am Dienstag den 02.05. zwischen 10 und 14 Uhr die Fachschaftsvollversammlung, weshalb Tutorium L in dieser Woche auch nicht stattfindet. Bitte verteilen Sie sich auf die Tutorien am Freitag (28.04.) zuvor (Gruppen A-E), Dienstag (02.05.) 14:15 (Gruppe M) oder auf das zusätzliche Tutorium am Donnerstag 27.04., 10:15-11:45 Uhr Raum 2356|055 (5055).

Anmeldung zum MaLo-Portal
Im MaLo-Portal werden die Ergebnisse der Übungsaufgaben und später die vorläufigen Klausurergebnisse angezeigt. Bitte registrieren Sie sich bis zur Abgabe der ersten Übung.

Information

  • Please visit the German version of this page to register for the exercise classes and to view current announcements.

Schedule

TypeDateLocation Organizer
V3We10:1511:301420|001 (Grüner Hörsaal)Lecture (Start 26th April)E. Grädel
Th14:1515:151420|002 (Roter Hörsaal)Lecture (Start 20th April)E. Grädel
Th15:1515:451420|002 (Roter Hörsaal)DiscussionE. Grädel
Ü2Fr10:1511:452350|009 (AH I)Group AL. Bohn
Fr12:1513:452356|056 (5056)Group BM. Hoelzel
Fr12:1513:451010|213 (V)Group CR. Lipp
Fr13:1514:452356|051 (AH VI)Group DS. Schalthöfer
Fr14:1515:451010|213 (V)Group EF. Reinhardt
Mo08:3010:002356|051 (AH VI)Group FC. Welzel
Mo10:1511:452356|051 (AH VI)Group GE. Hüsgen
Mo12:1513:451010|213 (V)Group HT. Görtzen
Mo14:1515:452356|051 (AH VI)Group IR. Wilke
Mo16:1517:452356|051 (AH VI)Group K (in English)G. Douéneau
Di10:1511:452356|051 (AH VI)Group LT. Schumm
Di14:1515:452356|055 (5055)Group MD. Rusin

Lecture Notes

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

Svenja Schalthöfer, Erich Grädel