Technische Universität Ilmenau

Logische Programmierung - Modultafeln der TU Ilmenau

Die Modultafeln sind ein Informationsangebot zu unseren Studiengängen. Rechtlich verbindliche Angaben zum Verlauf des Studiums entnehmen Sie bitte dem jeweiligen Studienplan (Anlage zur Studienordnung). Bitte beachten Sie diesen rechtlichen Hinweis.
Angaben zum Raum und Zeitpunkt von geplanten Lehrveranstaltungen entnehmen Sie bitte dem e-Veranstaltungskalender. Lehrveranstaltungen und Prüfungen, die nicht im e-Veranstaltungskalender abgebildet sind, werden "nach Vereinbarung" geplant. Eine Auflistung der betroffenen Veranstaltungen finden Sie hier: Lehrveranstaltungen, Prüfungen.

Fachinformationen zu Fachnummer 223 - allgemeine Informationen
Fachnummer223
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer2238 (Künstliche Intelligenz)
Fachverantwortliche(r)Prof. Dr. Rainer Knauf
SpracheDeutsch, auf Nachfrage Englisch
TurnusWintersemester
Vorkenntnisse

Kenntnisse in mathematischer Logik: Prädikatenkalkül der 1. Stufe (liegen nach erfolgreicher Absolvierung von  "Programmierparadigmen der KI" vor)

Lernergebnisse

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

Skript, Power-Point Präsentation, Aufgabensammlung

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

Pflichtevaluation:

Freiwillige Evaluation:

WS 2008/09 (Vorlesung)

SS 2015 (Vorlesung)

Hospitation:

Spezifik Referenzfach
FachnameLogische Programmierung
Prüfungsnummer
Leistungspunkte2
SWS
Präsenzstudium (h)22
Selbststudium (h)38
VerpflichtungWahlpflicht
Abschlussschriftliche Prüfungsleistung, 60 Minuten
Details zum Abschluss
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl
Spezifik im Studiengang Master Wirtschaftsinformatik 2014, Master Wirtschaftsinformatik 2015, Master Wirtschaftsinformatik 2018
FachnameLogische Programmierung
Prüfungsnummer2200247
Leistungspunkte2
Präsenzstudium (h)22
Selbststudium (h)38
VerpflichtungWahlpflicht
Abschlussschriftliche Prüfungsleistung, 60 Minuten
Details zum Abschluss
Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl

Informationen und Handreichungen zur Pflege von Modul- und Fachbeschreibungen durch den Modul- oder Fachverantwortlichen finden Sie auf den Infoseiten zum Modulkatalog.