Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01852 (SoSe 19)

 
01852 Fortgeschrittene Konzepte funktionaler Programmierung im Sommersemester 2019
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Sommersemester 2009 Umfang: 3.0 SWS
Übungsumfang: 1.0 SWS nächster geplanter Einsatz: -keine Angaben vorhanden-
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
KursbeschreibungDer Kurs widmet sich weiterführenden Themen funktionaler Programmierung, die über die grundlegenden Aspekte des Kurses "Logisches und funktionales Programmieren" (01816) hinausgehen, sowie einigen wichtigen theoretischen Grundlagen funktionaler Programmiersprachen. Zu Beginn werden die besonderen Konzepte moderner funktionaler Sprachen wie z.B. strenge Typisierung, parametrischer Polymorphismus, Datentypen und Pattern Matching am Beispiel der Sprache ML vorgestellt. Die mathematische Fundierung funktionaler Sprachen ermöglicht die formale Behandlung von Programmen. Dies wird anhand verschiedener Methoden zum Beweis von Programmeigenschaften oder aber auch zur Programmtransformation demonstriert. Als formale Grundlagen werden der Lambda-Kalkül sowie das Typsystem von Hindley/Milner erläutert. Schließlich wird das Verständnis funktionaler Programmiersprachen durch die Beschreibung verschiedener Implementierungsaspekte vertieft.
Voraussetzungen: Vordiplom. Hilfreich sind Grundkenntnisse in funktionaler Programmierung, z.B. aus dem Kurs "Logisches und funktionales Programmieren" (01816).
Für folgende Informatik-Studiengänge vorgesehen: D,M,MPI
Termine
Veranstaltungsbeginn: 01.04.2019
Material
Hinweis Diese Lehrveranstaltung beinhaltet zugriffsgeschütztes Material, das nur nach dem Einloggen und bei vorhandener Belegung der Lehrveranstaltung eingesehen werden kann. Studierende der FernUniversität sollten sich einloggen.
Einheiten Übungen
Zusatzmaterial Informationsschreiben
Betreuung
Betreuende Liste der Campus Standorte bzw. Studienzentren

Irrtümer und nachträgliche Datenänderungen vorbehalten.


Seite erstellt in 0,1s  |  4.11.24,10:02 im Wintersemester 2024/2025  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de