Technische Universität Ilmenau

Programmierparadigmen der künstlichen Intelligenz - Modultafeln der TU Ilmenau

Die Modultafeln 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.

Informationen und Handreichungen zur Pflege von Modulbeschreibungen durch die Modulverantwortlichen finden Sie unter Modulpflege.

Hinweise zu fehlenden oder fehlerhaften Modulbeschreibungen senden Sie bitte direkt an modulkatalog@tu-ilmenau.de.

Modulinformationen zu Programmierparadigmen der künstlichen Intelligenz im Studiengang Master Wirtschaftsinformatik 2018
Modulnummer101613
Prüfungsnummer2200534
FakultätFakultät für Informatik und Automatisierung
Fachgebietsnummer 2238 (Künstliche Intelligenz)
Modulverantwortliche(r)Prof. Dr. Rainer Knauf
TurnusSommersemester
Sprachedeutsch
Leistungspunkte4
Präsenzstudium (h)34
Selbststudium (h)86
VerpflichtungWahlmodul
Abschlussschriftliche Prüfungsleistung, 90 Minuten
Details zum Abschluss

schriftliche Prüfungsleistung, 60 Minuten

Anmeldemodalitäten für alternative PL oder SL
max. Teilnehmerzahl1
Vorkenntnisse

Grundkenntnisse in mathematischer Logik

Lernergebnisse und erworbene Kompetenzen

naturwissenschaftliche und angewandte Grundlagen, Einbindung des angewandten Grundlagenwissens der Informationsverarbeitung

Inhalt

(1) Einordnung der KI in die Informatik, Forschungsgebiete der KI, Historisches, (2) Logische Grundlagen: Prädikatenkalkül der ersten Stufe, Folgerungsbegriff, Ableitungsverfahren, Vollständigkeit und Korrektheit von Inferenzverfahren (3) Logische Programmierung: Einordnung des logischen Programmierparadigmas, algorithmische Realisierung des ROBINSON-schen Inferenzverfahrens, komplexitätstheoretische Betrachtung verschiedener Rekursionsarten (4) Funktionale Programmierung: LISP-Programmierung, Entwurf und Implementierung rekursiver Problemslösungsstrategien

Medienformen

Skript, Power-Point Präsentation, Aufgabensammlung

 

zum Moodle Einschreibelink:

 

https://moodle2.tu-ilmenau.de/enrol/index.php?id=3205

Literatur

(1) Luger: Künstliche Intelligenz: Strategien zur Lösung komplexer Probleme. München: Pearson Studium (Übersetzung aus dem Addison-Wesley Verlag), 4. Aufl., 2001 (2) Russel/Norvig: Künstliche Intelligenz: Ein moderner Ansatz, München: Pearson Studium (Übersetzung aus dem Addison-Wesley Verlag), 2004 (3) Knauf: Logische Programmierung und Wissensbasierte Systeme: Eine Einführung. Aachen: Shaker, 1993

Lehrevaluation

Pflichtevaluation:

Freiwillige Evaluation:

WS 2015/16 (Vorlesung)

Hospitation: