Applicative Programming
Applikative Programmierung
8 LPunregelmäßigDEwird nicht mehr angeboten
Inhalte
Algebraische Programmierung: Termersetzung, Regeln, Anwendung, Konfluenz, starke und lokale Konfluenz, Termination, Unifikation. Konfluenzbeweis, Knuth-Bendix- Vervollständigung, bedingte Termersetzung, Narrowing; Funktionale Programmierung: lambda-Kalkül, Syntax, beta-Reduktion, apply, tupling, currying, Induktion als Definitionsprinzip, fleißige und faule Auswertung, strikte und nichtstrikte Funktionen, AOOR und NOR, head-normal-form und weak-head-normal-form, Ausdruckskraft, kombinatorische Logik, Typtheorie, induktive Typen, HASKELL, Anwendungen; Logische Programmierung: Logik-Kalküle, Aussagen- und Prädikatenkalkül, Semantisches Tableau, Widerlegungsbeweise, Herbrand-Modelle, Skolemisierung, Gentzenkalkül, Resolution, definite Theorien, minimale Modelle, Prolog, cut, fail, Anwendungen.
Lernziele
Durch die Betrachtung der Grundkonzepte verschiedener Programmierparadigmen soll der Horizont zur Programmierung erweitert werden und die Fähigkeit zum Auswahl geeigneter Programmiertechniken für spezielle Anwendungsbereiche ausgebildet werden.
Prüfungsleistung
Prüfungsgespräch benotet
Literatur (1)
- Wird zu Beginn ausgegeben
Bemerkungen
- Studiengang Informatik Diplom, Säule „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Informatik Master, Komplex „Grundlagen der Informatik“, Niveaustufe 400 - Studiengang Angewandte Mathematik M.Sc.: Wahlpflichtmodul Anwendungsfach Informatik
Quelle: Modulbeschreibung der BTU · abgerufen 16.10.2026Original