Moodle-Störung am 14.06.

• Wegen der Störung in Moodle wird die Abgabefrist des aktuellen Übungsblatts 7 und des eTests 7 mindestens bis morgen (Dienstag, 15.06.) um 12 Uhr verlängert.

• Wir bitten alle, die ihre Abgaben per E-Mail eingeschickt haben, sie unbedingt bis morgen noch in Moodle hochzuladen.

• Sollte die Störung noch länger andauern, folgen hier weiter Ankündigungen. Sie brauchen diesbezüglich keine E-Mails zu schreiben.

The lecture will be held in German. You may write your answers to the exercises and the exam in English. Please note that the German version of this page takes precedence over the information on this page.

Information

• Exam registration: Please do not forget to register for the exam via RWTHonline (first exam date or second exam date). Note that each exam registration has a deadline.

• 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.

Tutorials

The current schedule can be found on the Moodle course page. The Zoom links are listed below.

• Monday
• 16:30 - L. Mrkonjić - https://rwth.zoom.us/j/94196924731
• Tuesday
• 14:30 - R. Wilke - https://rwth.zoom.us/j/93153166463
• 18:30 - F. Bloemers - https://rwth.zoom.us/j/92857211553
• Wednesday
• 12:30 - B. Schüpp - https://rwth.zoom.us/j/94542621027
• 16:30 - M. Naaf - https://rwth.zoom.us/j/95337423447
• Thursday
• 10:30 - B. Pago - https://rwth.zoom.us/j/98973830988
• 18:30 - T. Becker - https://rwth.zoom.us/j/99194831517
• Friday
• 08:30 - J. Kassing - https://rwth.zoom.us/j/94099747692
• 10:30 - J. Arpasi - https://rwth.zoom.us/j/97920899607

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.

• Lecture Notes

• 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