Logische Programmierung - 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 Logische Programmierung im Studiengang Master Wirtschaftsinformatik 2014 | |
|---|---|
| Modulnummer | 223 |
| Prüfungsnummer | 2200247 |
| Fakultät | Fakultät für Informatik und Automatisierung |
| Fachgebietsnummer | 2238 (Künstliche Intelligenz) |
| Modulverantwortliche(r) | Prof. Dr. Rainer Knauf |
| Turnus | Wintersemester |
| Sprache | Deutsch, auf Nachfrage Englisch |
| Leistungspunkte | 2 |
| Präsenzstudium (h) | 22 |
| Selbststudium (h) | 38 |
| Verpflichtung | Wahlmodul |
| Abschluss | schriftliche Prüfungsleistung, 60 Minuten |
| Details zum Abschluss | |
| Link zum Moodle-Kurs | |
| Lehrende | |
| Anmeldemodalitäten für alternative PL oder SL | |
| max. Teilnehmerzahl | |
| Vorkenntnisse | Kenntnisse in mathematischer Logik: Prädikatenkalkül der 1. Stufe (liegen nach erfolgreicher Absolvierung von "Programmierparadigmen der KI" vor) |
| Lernergebnisse und erworbene Kompetenzen | Einbindung des angewandten Grundlagenwissens der Informationsverarbeitung |
| Inhalt | Verarbeitung komplexer Datenstrukturen in PROLOG; Rekursion: komplexitätstheoretische Betrachtung der Links- und Rechtsrekursion, Implementierung rekursiver Problemlösungstechniken, Differenzlistentechnik; typische Problemklassen der Anwendung der Logischen Programmierung mit Beispielen |
| Medienformen und technische Anforderungen bei Lehr- und Abschlussleistungen in elektronischer Form | Skript, Power-Point Präsentation, Aufgabensammlung https://moodle2.tu-ilmenau.de/course/view.php?id=2752 |
| Literatur | Schmitt: Theorie der Logischen Programmierung. Berlin: Springer, 1992 Bratko: OROLOG: Programming for Aritificial Intelligence. Pearson Education Ltd., 3. Auflage, 2001 Hanus: Problemlösen mit PROLOG. Stuttgart: Teubner, 1987 Knauf: Logische Programmierung und Wissensbasierte Systeme: Eine Einführung. Aachen: Shaker, 1993 |
| Lehrevaluation | |