Clemens Beckstein

Klausur oder mündliche Prüfung

Lehramt Informatik Gymnasium: Das Modul wird in die Berechnung der Endnote aufgenommen

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.

keine

FMI-IN0025 Grundlagen informatischer Problemlösung

- 079 LA Gymnasium Informatik: Pflichtmodul
- 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)

2 SWS Vorlesung
2 SWS Übung

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

• 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.