64-022 Übung zu Softwareentwicklung III: Funktionale Programmierung

Lehrende: Prof. Dr. Leonie Dreschler-Fischer; David Christopher Mosteller; Martin Noeske; Benjamin Seppke

Veranstaltungsart: Übung

Anzeige im Stundenplan: SE3-FP - Üb

Semesterwochenstunden: 2

Credits: 3,0

Unterrichtssprache: Deutsch

Min. | Max. Teilnehmerzahl: - | 225

Kommentare/ Inhalte:
<ul><li>Thematische Schwerpunkte im Bereich der funktionalen Programmierung sind die Begriffe Funktion, funktionale Auswertung, Bezugstransparenz und Funktionen h&#246;herer Ordnung. Dar&#252;ber hinaus wird der systematische Entwurf und der Korrektheitsbeweis behandelt.</li><li>Behandelt werden ausserdem die M&#246;glichkeiten und das Potenzial der gezielten Ver&#228;nderung von Syntax und Semantik der Programmiersprache zur Einbettung relationaler, objektorientierter und stromorientierter Sprachelemente.</Ii><li> Als Ausblick auf wesentliche Themen der Logikprogrammierung werden der Begriff der Relation als richtungsunabh&#228;ngige Berechnungsvorschrift und ihre Implementierung als relationale bzw. deduktive Datenbank behandelt.</li></ul>

Periodizit&#228;t: j&#228;hrlich zum WS

Stichworte:<ul><li>Funktionale Programmierung</li><li>Rekursion</li><li>Generische Funktionen</li></ul>

Lernziel:
Das Modul soll Kenntnisse und Fertigkeiten in den Paradigmen zur deklarativen Programmierung vermitteln. Neben einer vergleichenden Einordnung der Verarbeitungsmodelle werden fortgeschrittene Konzepte im jeweils gewählten Paradigma vermittelt und ihr Einsatz zur Lösung von Softwareentwicklungsaufgaben thematisiert. Durch intensives Üben soll eine Tiefe der Ausbildung erreicht werden, die nicht nur zu einer kritischen Auseinandersetzung mit den Vor- und Nachteilen der verschiedenen Programmierparadigmen befähigt, sondern auch eine aktive Anwendung der Kenntnisse zur eigenständigen Problemlösung ermöglicht. Am Beispiel programmiersprachlicher Konstrukte wird exemplarisch die wissenschaftliche Methodik der Informatik im Hinblick auf das Zusammenwirken von formaltheoretischem Grundlagenwissen und programmiersprachlicher Umsetzung veranschaulicht.

Vorgehen:
Vorlesung mit &#220;bung:

<ul><li>Praktische &#220;bungen zur Softwareentwicklung in Scheme</li><li>Pr&#228;sentation von L&#246;sungsans&#228;tzen und Resultaten&lt;&lt;/li<><li>schriftliche Dokumentation der Resultate</li></ul>

Literatur:
Skriptum zur Vorlesung.
Weitere Literatur wird in der Vorlesung bekannt gegeben.