Logisches und funktionales Programmieren

Modulinformationen

Der Kurs enthält eine Einführung in die wichtigsten Programmiertechniken für nicht-imperative Programmiersprachen. Im ersten Teil werden Techniken der logischen Programmierung am Beispiel von Prolog gezeigt. Außerdem werden die in Prolog verwendete Beweisstrategie sowie nicht-logische Anteile zur praktischen Programmierung behandelt. Im zweiten Teil werden Techniken aus funktionalen Programmiersprachen am Beispiel des Lisp-Dialekts Scheme demonstriert. Neben klassischen Methoden (Funktionen höherer Ordnung) werden auch Datenabstraktion, strom- und objektorientierte Programmiertechniken vorgestellt. Im dritten Teil werden Ansätze zur Integration der logischen und funktionalen Programmierung vorgestellt. Darüber hinaus werden verschiedene neuere Entwicklungen im Bereich dieser beiden Programmierparadigmen behandelt. So wird auch auf das logische Programmieren mit Constraints eingegangen, das sich als besonders vielversprechender Ansatz zur deklarativen Programmierung herausgestellt hat und bereits in vielen Anwendungen erfolgreich eingesetzt wurde.

ECTS10
ArbeitsaufwandBearbeiten der Kurseinheiten: 130 - 150 Stunden
bearbeiten der Übungsaufgaben: 60 - 75 Stunden
Prüfungsvorbereitung: 60 - 75 Stunden
Dauer des Modulsein Semester
Häufigkeit des Modulsin jedem Wintersemester
Anmerkung
Das Modul kann letztmalig im Wintersemester 2019/20 belegt werden. Eine Prüfungsteilnahme ist nur noch bis einschließlich Sommersemester 2020 (September 2020) möglich.
Inhaltliche Voraussetzung
Vertrautheit mit algorithmischer Denkweise. Kenntnis wenigstens einer höheren Programmiersprache und gängiger Datenstrukturen wie Listen und Bäume.

Aktuelles Angebot

Prüfungsinformation

M.Sc. Informatik
Art der Prüfungsleistungbestandene benotete mündliche Modulprüfung
Voraussetzungkeine
Stellenwert der Note1/12
Formale Voraussetzungenkeine
M.Sc. Praktische Informatik
Art der Prüfungsleistungbestandene benotete mündliche Modulprüfung
Voraussetzungkeine
Stellenwert der Note1/8
Formale Voraussetzungenkeine

Download

Ansprechpartner

mathinf.webteam | 20.09.2018