Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Lehre / SS 2020 / Fortgeschrittene Funktionale Programmierung


Inhaltsbereich

Fortgeschrittene Funktionale Programmierung

Vorlesung, 3-std., Sabel; Übungen 2-std., Sabel, Vaupel

Aktuelles

  • Die Veranstaltung findet voraussichtlich digital und bis auf Weiteres nicht in Präsenz statt.
    Zur Teilnahme ist eine Anmeldung per Uni2work erforderlich.

Inhalt

Aufbauend auf die Einführung in funktionale Programmierung im Rahmen der LV "Programmierung und Modellierung" (Semester 2), behandelt die Veranstaltung vertiefende Themen der Funktionalen Programmierung und Programmiersprachen. Einerseits werden theoretische Grundlagen behandelt (z.B. Syntax, Semantik und Typisierung von (Kern-)sprachen funktionaler Programmiersprachen) und andererseits werden fortgeschrittene Techniken der funktionaler Programmierung behandelt (z.B. Behandlung von  I/O und Effekten, Nebenläufige und Parallele Programme, Testen und  Verifikation, Entwicklung ereignisgesteuerter Anwendungen wie Webapplikationen und graphischer Benutzeroberflächen).  
In der Veranstaltung wird die Sprache Haskell eingesetzt; solide Vorkenntnisse in einer anderen funktionalen Sprachen reichen ebenfalls aus.


Organisation

  • Umfang: 3+2 Semesterwochenstunden (6 ECTS für Modul "Vertiefende Themen der Informatik")
  • Vorlesung: Prof. Dr. David Sabel
  • Übung:  Prof. Dr. David Sabel und Sarah Vaupel
  • Prüfung: wird noch festgelegt.

Zeit und Ort

VeranstaltungZeitOrtBeginn
Vorlesung Mi 10-12 B 106 (Hauptgebäude, Geschwister-Scholl-Pl-1.) 22.04.2020
Vorlesung Fr 10-12 B 106 (Hauptgebäude, Geschwister-Scholl-Pl-1.) 24.04.2020
Übung (Sabel) Di 16-18 B 011 (Hauptgebäude, Geschwister-Scholl-Pl-1.) 28.04.2020
Übung (Vaupel) Do 14-16 B 011 (Hauptgebäude, Geschwister-Scholl-Pl-1.) 30.04.2020
Übung (Vaupel) Do 16-18 003 (Schellingstr. 5) 30.04.2020

Die Vorlesungstermine werden nicht alle genutzt (da die Vorlesung 3-stündig ist).
Ein genauer Plan wird noch veröffentlicht.


Material

Vorlesungsmaterial und Übungsblätter erhalten Sie per Uni2work

 


Literatur


Weitere Informationen

 

Artikelaktionen


Funktionsleiste