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: - | 15
Kommentare/ Inhalte: <ul><li>Thematische Schwerpunkte im Bereich der funktionalen Programmierung sind die Begriffe Funktion, funktionale Auswertung, Bezugstransparenz und Funktionen höherer Ordnung. Darüber hinaus wird der systematische Entwurf und der Korrektheitsbeweis behandelt.</li><li>Behandelt werden ausserdem die Möglichkeiten und das Potenzial der gezielten Verä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ängige Berechnungsvorschrift und ihre Implementierung als relationale bzw. deduktive Datenbank behandelt.</li></ul> Periodizität: jä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 Übung: <ul><li>Praktische Übungen zur Softwareentwicklung in Scheme</li><li>Präsentation von Lösungsansätzen und Resultaten<</li<><li>schriftliche Dokumentation der Resultate</li></ul>
Literatur: Skriptum zur Vorlesung. Weitere Literatur wird in der Vorlesung bekannt gegeben.
Übung Gr. 01 (Di. 10-12 Uhr F-534)
Prof. Dr. Leonie Dreschler-Fischer; David Christopher Mosteller; Martin Noeske; Benjamin Seppke
Di, 20. Okt. 2015 [10:15]-Di, 26. Jan. 2016 [11:45]
Übung Gr. 02 (Di. 10-12 Uhr R-031)
Übung Gr. 03 (Di.10-12 Uhr G-210)
Übung Gr. 04 (Mi. 08-10 Uhr R-031)
Mi, 21. Okt. 2015 [08:15]-Mi, 27. Jan. 2016 [09:45]
Übung Gr. 05 (Mi. 08-10 Uhr G-210)
Übung Gr. 06 (Mi. 10-12 Uhr R-031)
Mi, 21. Okt. 2015 [10:15]-Mi, 27. Jan. 2016 [11:45]
Übung Gr. 07 (Mi. 10-12 Uhr G-203)
Übung Gr. 08 (Mi. 10-12 Uhr G-210)
Diese Kleingruppe wird aktuell angezeigt.
Übung Gr. 09 (Mi. 12-14 Uhr R-031)
Mi, 21. Okt. 2015 [12:15]-Mi, 27. Jan. 2016 [13:45]
Übung Gr. 10 (Do. 08-10 Uhr G-210)
Do, 22. Okt. 2015 [08:15]-Do, 28. Jan. 2016 [09:45]
Übung Gr. 11 (Do. 08-10 Uhr R-031)
Übung Gr. 12 (Do. 08-10 Uhr F-009)
Übung Gr. 13 (Do. 10-12 Uhr G-210)
Do, 22. Okt. 2015 [10:15]-Do, 28. Jan. 2016 [11:45]
Übung Gr. 14 (Do. 10-12 Uhr R-031)
Übung Gr. 15 (Do. 10-12 Uhr F-534)