Illustrationsbild für den Virtuellen Studienplatz

Lehrveranstaltung 01852 (WiSe 02/03)

 
01852 Fortgeschr. Konzepte funktionaler Progr. im Wintersemester 2002/2003
Hinweis Das Semester dieser Veranstaltung ist beendet.
grundlegende Überarbeitung: Wintersemester 1999/2000 Umfang: 3.0 SWS
Übungsumfang: 1.0 SWS nächster geplanter Einsatz: -keine Angaben vorhanden-
Versionen Autorinnen und Autoren
Teilnahmevoraussetzungen Beschreibung
Schließen
Beschreibung
Der 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.
Termine
Veranstaltungsbeginn: 07.10.2002
Versand
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 Einstieg
Betreuung
Betreuende/Beratende Liste der Campus Standorte bzw. Studienzentren

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


Seite erstellt in 0,2s  |  19.5.24,00:31 im Sommersemester 2024  |  realisiert durch das LVU-System
FernUni-Logo FernUniversität in Hagen, 58084 Hagen, Telefon: +49 2331 987-01, E-Mail: fernuni@fernuni-hagen.de