Logik und Logikprogrammierung - Interaktive Studienpläne der TU Ilmenau
Die Interaktiven Studienpläne sind ein Informationsangebot zu den Studiengängen der TU Ilmenau.
Die rechtsverbindlichen Studienpläne entnehmen Sie bitte den jeweiligen Studien- und Prüfungsordnungen (Anlage Studienplan).
Alle Angaben zu geplanten Lehrveranstaltungen finden Sie im elektronischen Vorlesungsverzeichnis.
Bitte beachten Sie, dass auf dieser Seite keine Aktualisierungen mehr vorgenommen werden. Alle Module und Studienpläne ab der PO-Version 2021 (Bachelor- und Master-Studiengänge) sind ab sofort im Campus-Portal erreichbar.
| Modulinformationen zu Logik und Logikprogrammierung im Studiengang Bachelor Data Science 2025 | |
|---|---|
| Modulnummer | 200051 |
| Prüfungsnummer | 2200696 |
| Fakultät | Fakultät für Informatik und Automatisierung |
| Fachgebietsnummer | 2241 (Automaten und Logik) |
| Modulverantwortliche(r) | Prof. Dr. Dietrich Kuske |
| Turnus | Wintersemester |
| Sprache | Deutsch |
| Leistungspunkte | 5 |
| Präsenzstudium (h) | 56 |
| Selbststudium (h) | 94 |
| Verpflichtung | Wahlmodul |
| Abschluss | schriftliche Prüfungsleistung, 150 Minuten |
| Details zum Abschluss | |
| Link zum Moodle-Kurs | https://moodle.tu-ilmenau.de/course/view.php?id=3561 |
| Lehrende | Prof. Kuske, apl. Prof. Knauf |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |
| Vorkenntnisse | sicherer Umgang mit mengentheoretischen Begriffen und Notationen (z. B. erworben in "Grundlagen und Diskrete Strukturen") |
| Lernergebnisse und erworbene Kompetenzen | 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. |
| Inhalt | 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 |
| Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form | Folien, Tafel, Übungsblätter |
| Literatur | 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. |
| Lehrevaluation | |