Mathematical Logic

SS 2014

News

  • Die vorläufigen Ergebnisse der Nachholklausur sind jetzt im Portal abrufbar.
  • Die Einsicht findet am Mittwoch, den 01. Oktober 2014, im Seminarraum 5056 zu folgenden Zeiten statt:
    • Matrikelnummern 000000 – 310000: 14:00 - 15:00 Uhr
    • Matrikelnummern 310001 – 999999: 15:00 - 16:00 Uhr
  • Die durch die Einsicht geänderten Klausurergebnisse sind im m(a)lo-Portal eingetragen.
  • Eine Zusammenfassung der Lernziele ist verfügbar.
  • Information zur Klausur: Es sind keine Hilfsmittel erlaubt. Der Klausur werden die Schlussregeln des Sequenzenkalküls angehängt.
  • Änderungen am Skript: Der bisherige Satz 4.21 wurde als Teil des aufsteigenden Satzes von Löwenheim-Skolem formuliert, der bisherige Satz von Löwenheim-Skolem wurde als absteigender Satz von Löwenheim-Skolem formuliert und das redundante Kapitel 5 wurde entfernt.

Information

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

Schedule

Type Date Location   Organizer
V3 We 08:15 09:15 1420|002 (Ro) Lecture (Start April 9th) E. Grädel
We 09:15 09:45 1420|002 (Ro) Discussion E. Grädel
Fr 08:30 09:45 1420|001 (Gr) Lecture E. Grädel
Ü2 Thu 12:15 13:45 2356|051 (AH VI) Gruppe A S. Lessenich
Thu 13:15 14:45 2350|009 (AH I) Gruppe B S. Schalthöfer
Thu 16:00 17:30 2350|009 (AH I) Gruppe C F. Abu Zaid
Fri 10:15 11:45 2356|056 (5056) Gruppe D T. Nguyen
Fri 12:15 13:45 2356|051 (AH VI) Gruppe E S. Hegselmann
Fri 13:15 14:45 2350|111 (AH II) Gruppe F R. Lipp
Mon 12:15 13:45 1010|213 (V) Gruppe G F. Beutel
Mon 13:15 14:45 2356|056 (5056) Gruppe H L. Grabolle
Tue 13:15 14:45 2356|055 (5055) Gruppe I W. Pakusa

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
  • Mathematik (D)/Hauptstudium/Reine Mathematik
  • 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