Logic and Logic Programming - Interactive curriculae of TU Ilmenau
The interactive curriculae provide information on the degree programmes offered by the TU Ilmenau.
Please refer to the respective study and examination rules and regulations for the legally binding curricula (Annex Curriculum).
You can find all details on planned lectures and classes in the course catalogue.
Please note that this page is no longer updated. All modules and study plans from PO version 2021 onwards (Bachelor and Master study programs) are now available on the Campus Portal.
| module properties Logic and Logic Programming in degree program Bachelor Data Science 2025 | |
|---|---|
| module number | 200051 |
| examination number | 2200696 |
| department | Department of Computer Science and Automation |
| ID of group | 2241 (Automata and Logics) |
| module leader | Prof. Dr. Dietrich Kuske |
| term | winter term only |
| language | Deutsch |
| credit points | 5 |
| on-campus program (h) | 56 |
| self-study (h) | 94 |
| obligation | elective module |
| exam | written examination performance, 150 minutes |
| details of the certificate | |
| link to Moodle course | https://moodle.tu-ilmenau.de/course/view.php?id=3561 |
| teacher | Prof. Kuske, apl. Prof. Knauf |
| signup details for alternative examinations | |
| maximum number of participants | |
| previous knowledge and experience | sicherer Umgang mit mengentheoretischen Begriffen und Notationen (z. B. erworben in "Grundlagen und Diskrete Strukturen") |
| learning outcome | Die Studierenden können zentrale Begriffe der Aussagen- und der Prädikatenlogik darstellen und auf konkrete Problemstellungen anwenden. Sie verstehen das Zusammenspiel von Syntax und Semantik formaler Systeme und argumentieren dabei präzise und folgerichtig. Sie kennen klassische Entscheidungsverfahren für die genannten Kalküle und können sie hinsichtlich ihrer Anwendbarkeit beurteilen. Sie haben ein grundlegendes Verständnis für die Logik-Programmierung und sind in der Lage, typische Probleme durch Prolog-Programme zu lösen. Die Studierenden können kritische Fragen zum behandelten Stoff, Probleme bei der Erarbeitung des Wissens bzw. bei der Lösung der Aufgaben klar formulieren und in Diskussionen mit Kommilitonen und Lehrenden vertreten. In den Vorlesungen und im Selbstudium haben sie die genannten Kenntnisse erworben, in den Übungen und im Selbstudium die genannten Fähigkeiten der Anwendung erlernt. |
| content | Aussagenlogik: Syntax und Semantik, Erfüllbarkeit, Allgemeingültigkeit, Folgerung, Normalformen, Wahrheitswerttabellen, natürliches Schließen, SLD-Resolution Prädikatenlogik: Syntax und Semantik, Erfüllbarkeit,
Allgemeingültigkeit, Folgerung, Normalformen, Kompaktheitssatz, natürliches Schließen, Unentscheidbarkeit der Tautologien und der Theorie der
natürlichen Zahlen, SLD-Resolution PROLOG-Programmierung an typischen Problemklassen |
| media of instruction and technical requirements for education and examination in case of online participation | Folien, Tafel, Übungsblätter |
| literature / references | M. Huth, M. Ryan: Logic in Computer Science, Cambridge 2010 S. Hölldobler: Logik und Logikprogrammierung, Krottenmühl 2009 Ivan Bratko: Prolog Programming for Artificial Intelligence. 4th edition, ISBN-10: 0321417461, ISBN-13: 9780321417466, Addison-Wesley, 2012. |
| evaluation of teaching | |