Mathematical Logic
SS 2021
Information
-
Please complete your registration in the MaLo-Portal in order to be able to receive points.
The MaLo-Portal displays your current points from exercise sheets and eTests as well as preliminary exam results, if available. Please note that your points will not be visible on the Moodle course page.
-
This course will be held via the Moodle course page in RWTHMoodle.
Any announcements, information, course material and dates can be found on Moodle. Note that the information on Moodle is updated frequently and takes precedence over the information on this page. You can access the Moodle course page by registering for this course via RWTHonline. Keep in mind that there is a delay upon registration before you can access the Moodle course page. Please ensure that you have access to the Moodle course page at the beginning of the semester and stay tuned to the announcements.
-
If you encounter any problems with the registration or Moodle, please send an e-mail to Lovro Mrkonjić.
-
Summary: your points can be found in the MaLo-Portal, everything else is on the Moodle course page, in case of any problems, send an e-mail to Lovro Mrkonjić.
→ MaLo-Portal ←
The MaLo-Portal displays your current points and preliminary exam results, if available.
Dates
The current dates can be found on the Moodle course page.Course Material
The current course material is available on the Moodle course page. Note that the preliminary material on this page will not be updated during the semester.
The lecture recordings from 2017 are relevant for this course.
Exam
Please refer to the Moodle course page or RWTHonline for current information about the exam and dates or visit the German version of this page.
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
Lovro Mrkonjić, Erich Grädel