Mathematical Logic

SS 2018

Information

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

News

  • Am Mittwoch, den 15.08. um 11:30 Uhr, findet in der Aula II eine Globalübung zur Vorbereitung auf die Klausur statt (Dauer ca. 1,5 bis 2,5 Stunden). Dort wird eine alte Klausur vorgerechnet, sollten Sie besonderes Interesse an bestimmten Aufgabentypen haben, so schreiben Sie bitte vorab eine eMail an Richard Wilke. Außerdem können dort alle alten Übungen abgeholt werden.
  • Die Vorlesung ist abgeschlossen. Freitag, den 20.07., findet also keine Veranstaltung (auch keine Diskussion) statt.
  • Um zur Klausur zugelassen zu werden müssen Sie 50% der Gesammtpunkte, d.h. die Summe aller Übungen und eTests (L²P), erreichen.
    Die Zulassungen aus vergangenen Semestern sind nicht mehr gültig.
  • Bei Fragen und Problemen wenden Sie sich bitte an Richard Wilke.

→ MaLo-Portal ←

Im MaLo-Portal können Sie Ihre Übungspunkte und später die vorläufigen Klausurergebnisse einsehen.
Übung 10 ist vollständig eingetragen, sollte dies bei Ihnen nicht so sein, melden Sie sich bitte bei Richard Wilke.

Schedule

TypeDateLocation Organizer
V3Mo14:1515:301420|002 (Roter Hörsaal) LectureE. Grädel
Fr08:3009:301420|001 (Grüner Hörsaal) LectureE. Grädel
Fr09:3010:001420|001 (Grüner Hörsaal) DiscussionE. Grädel
Ü2Mo08:3010:001100|U101 (VT) Group AA. Kusidlo
Mo10:1511:451230|001 (WK) Group BY. Rohde
Mo12:1513:452356|051 (AH VI) Group KF. Bloemers
Mo16:1517:452350|111 (AH II) Group CJ. Segschneider
We12:1513:452350|009 (AH I) Group DM. Hoelzel
Th08:3010:002350|111 (AH II) Group EP. Selz
Th10:1511:452350|111 (AH II) Group FT. Polock
Th16:1517:452350|111 (AH II) Group GS. Schalthöfer
Th16:1517:452356|056 (5056) Group HL. Mrkonjic
Fr12:1513:452350|009 (AH I) Group IR. Wilke
Fr14:1515:451100|U101 (VT) Group LK. Dannert

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

Richard Wilke, Erich Grädel