Modulkatalog Master of Science - 276 Wirtschaftsmathematik - PO-Version 2020 Seite 193 von 521
Modul FMI-IN0076 Deklarative Programmierung
Modulcode FMI-IN0076
Modultitel (deutsch) Deklarative Programmierung
Modultitel (englisch) Declarative Programming
Modul-Verantwortliche/r Clemens Beckstein
Voraussetzung für die Zulassung keine
zum Modul
Empfohlene bzw. erwartete FMI-IN0025 Grundlagen informatischer Problemlösung
Vorkenntnisse
Art des Moduls (Pflicht-, Wahlpflicht- - 079 LA Gymnasium Informatik: Pflichtmodul
oder Wahlmodul) - 079 B.A. Informatik: Wahlpflichtmodul
- 079 B.Sc. Informatik: Pflichtmodul (Konto A)
- 105 B.Sc. Mathematik: Wahlpflichtmodul (NF Informatik)
- 105 M.Sc. Mathematik: Wahlpflichtmodul (NF Informatik)
- 184 B.Sc. Wirtschaftswissenschaften: Wahlpflichtmodul (IMS:
Vertiefungsmodule d. FMI)
- 200 M.Sc. Computational and Data Science: Wahlpflichtmodul
- 276 B.Sc. Wirtschaftsmathematik: Wahlpflichtmodul (Informatik)
- 276 M.Sc. Wirtschaftsmathematik: Wahlpflichtmodul (Informatik)
Häufigkeit des Angebots jedes 2. Semester (ab Sommersemester)
(Modulturnus)
Dauer des Moduls 1 Semester
Zusammensetzung des Moduls / 2 SWS Vorlesung
Lehrformen (V, Ü, S, Praktikum, …) 2 SWS Übung
Leistungspunkte (ECTS credits) 4 LP
Arbeitsaufwand (work load) in: 120 h
- Präsenzstunden 60 h
- Selbststudium 60 h
(einschl. Prüfungsvorbereitungen)
Inhalte In der Vorlesung/Übung werden Grundkonzepte der deklarativen
Programmierung eingeführt:
• Grundlagen der funktionalen Programmierung mit LISP (Scheme):
Symbolverarbeitung, Rekursion, funktionale und Datenabstraktion,
Funktionen höherer Ordnung, textuelle Abstraktion.
• Grundlagen der logischen Programmierung mit PROLOG: Horn-
Klauseln, Unifikation, SLDNF-Resolution, Ausüben von Kontrolle,
Inferenzmaschinen, DCG-Grammatiken
Lern- und Qualifikationsziele • Grundverständnis für das deklarative Programmierparadigma und
dessen Anwendungsbereiche: Komplexe, unvollständig bestimmte und
semantische
Problemstellungen, insbesondere bei der Wissensverarbeitung.
• Grundkenntnisse in der LISP/(Scheme)- sowie Prolog-
Programmierung.
Stand (Druck) 06.11.2023 Seite 193 von 521
Seite 194 von 521 Modulkatalog Master of Science - 276 Wirtschaftsmathematik - PO-Version 2020
Voraussetzung für die Zulassung zur keine
Modulprüfung
Voraussetzung für die Vergabe von Klausur oder mündliche Prüfung
Leistungspunkten (Prüfungsform)
Zusätzliche Informationen zum Lehramt Informatik Gymnasium: Das Modul wird in die Berechnung der
Modul Endnote aufgenommen
Empfohlene Literatur Abelson, H., Sussman, G.J., Structure and Interpretation of Computer
programs, 2nd edition, MIT Press, 1996.
Kapitel 5 in: Goos, G., Vorlesungen über Informatik, Band 1, Springer-
Verlag, Berlin, 2000.
Kapitel KI-Programmierung in: Görz, G. (Hrsg.), Einführung in die
Künstliche Intelligenz, Addison-Wesley, Bonn, 1993.
Seite 194 von 521 Stand (Druck) 06.11.2023
