Technische Universität Ilmenau

Programming Paradigms of AI - 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 module number 201356 - common information
module number201356
departmentDepartment of Computer Science and Automation
ID of group2238 (Artificial Intelligence)
module leaderProf. Dr. Rainer Knauf
languageDeutsch
term ganzjährig
previous knowledge and experiencekeine
learning outcomeDie Studierenden wissen den
Unterschied zwischen imperativen und deskriptiven Programmierparadigmen.
Sie sind in der Lage die funktionsorientierte Sprache LISP und die
logikorientierte Sprache PROLOG zu verstehen und anzuwenden. Die
Studierenden kennen und verstehen die grundlegende Syntax beider
Sprachen und können sowohl LISP als auch PROLOG zur Problemlösung
einsetzen.
In der Nachbereitungsphase der Vorlesung haben die
Studierenden das Gelernte geübt und wiederholt und können es auf
konkrete Aufgabenstellungen in Form von Übungsaufgaben anwenden. In
Diskussionen mit den Mitkommilitonen können sie auch deren Argumentation
richtig einschätzen und würdigen, berücksichtigen Kritik und nehmen
Hinweise an.
content1. Verarbeitung komplexer Datenstrukturen in PROLOG,
2. Rekursion: komplexitätstheoretische Betrachtung der Links- und Rechtsrekursion,
3. Implementierung rekursiver Problemlösungstechniken,
4. Differenzlistentechnik,
5. typische Problemklassen der Anwendung der Logischen Programmierung mit Beispielen
6. LISP Ausdrücke
7. Elementare LISP Funktionen
8. Komplexere LISP Funktionen
media of instruction and technical requirements for education and examination in case of online participationMoodle Kurs im Virtuellen Campus Thüringen;
gängiger PC oder Laptop mit Internetanbindung
literature / references1. Schmitt: Theorie der Logischen Programmierung. Berlin: Springer, 1992
2. Bratko: PROLOG: Programming for Aritificial Intelligence. Pearson Education Ltd., 3. Auflage, 2001
3. Hanus: Problemlösen mit PROLOG. Stuttgart: Teubner, 1987
4. Knauf: Logische Programmierung und Wissensbasierte Systeme: Eine Einführung. Aachen: Shaker, 1993
5. Kleine Büning, Schmitgen: PROLOG. Vieweg & Teubner, 1986
evaluation of teaching
Details reference subject
module nameProgramming Paradigms of AI
examination number2200906
credit points3
SWS0 (0 V, 0 Ü, 0 P)
on-campus program (h)0
self-study (h)90
obligationobligatory module
examoral pass-fail certificate, 30 minutes
details of the certificateDa es sich um einen reinen Online-Kurs handelt, werden keine Angaben zu Semesterwochenstunden gemacht.
link to Moodle course
teacherProf. Dr. Knauf
signup details for alternative examinations
maximum number of participants