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

  • Tutorium K findet ab jetzt Montags um 12:15 im AH VI statt. Der erste Termin ist am 04.06.
  • Die fünfte Übung ist online.
  • Um zur Klausur zugelassen zu werden müssen Sie 50% der Punkte aus Übungen und eTests (L²P) erreichen.
    Die Zulassungen aus vergangenen Semestern sind nicht mehr gültig.
  • Die Übungen werden mittwochs veröffentlicht und sind bis spätestens den darauffolgenden Mittwoch um 12:15 Uhr am Abgabekasten (Erdgeschoss Informatikzentrum E1) oder in der Vorlesung in dreier Gruppen abzugeben.
  • Einzelabgaben werden nicht mehr akzeptiert. Sie können das L²P Forum nutzen, um Abgabepartner zu finden.
  • 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 3 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]

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