Sprungmarken

Servicenavigation

Hauptnavigation

Sie sind hier:

Hauptinhalt

Funktionale Programmierung

Veranstalter: Prof. Dr. Jakob Rehof
Kontaktperson für
organisatorische Fragen:
Felix Laarmann
Veranstaltungsnummer: 040217 (Vorlesung)
040218 (Übung)
Typ: Wahlpflicht-Modul
Modulnummer: INF-BSc-213
SWS: 2 SWS Vorlesung
1 SWS Übung
Ort: Online
Zeit: Freitags: 10-12 Uhr
Beginn: 16.04.2021
Ende: 23.07.2021

Aktuelles

Beschreibung

Die Lehrveranstaltung behandelt Konzepte und Anwendungen funktionaler Programmierung anhand der funktionalen Programmiersprache Haskell. Funktionale Programme unterscheiden sich zunächst stark von dem einer objektorientierten, imperativen und zustandsorientierten Sprache wie Java. Sie erlauben aber oft problemnahere und flexiblere Lösungen, die leicht an neue Anforderungen, modifizierte Datenstrukturen, etc. anpassbar sind.
Auf Basis des Buchs "Haskell - Eine Einführung für Objektorientierte" von Prof. Dr. Ernst-Erich Doberkat wird es eine Spracheinführung in Haskell geben. Das Buch ist über die Universitätsbibliothek ausleihbar und als Ebook zu haben.
Neben der Spracheinführung in Haskell wird die Lehrveranstaltung auch grundlegende theoretische Konzepte von (funktionalen) Programmiersprachen betrachten. Hierzu werden unter anderem ausgewählte Themen des Lambda-Kalküls, sowie der Typ- und Kategorientheorie betrachtet.
Abschließend wird es auf Basis der gewonnen Kenntnisse einen Überblick über andere funktionalen Sprachen wie z.B. Coq oder Scala und deren Unterschiede zu Haskell geben.

Vorlesungsmaterial

Vorlesungsfolien werden semesterbegleitend bereitgestellt.

Übung

  • Die Übung zu FuPro ist eine (Online-)Präsenzübung.
  • Die Übung dient der Verstetigung des Vorlesungsinhalts sowie der praktischen Anwendung der erlangten Kenntnisse.

Anmeldung

  • Die Übungsanmeldung wird innerhalb der ersten Vorlesungswoche freigeschaltet.

Übungsgruppen

  • Werden noch bekannt gegeben.

Studienleistung

Das Erlangen der Studienleistung ist Voraussetzung für die Teilnahme an der abschließenden Klausur.
Die Kriterien der Studienleistung sind wie folgt:

  • Werden noch bekannt gegeben.

Klausuren

  • Wird noch bekannt gegeben.


Nebeninhalt

Kontakt

Felix Laarmann, M. Sc.
Tel.: 0231 755-7953
Jan Bessai, Dr.
Tel.: 0231 755-7764