185.A05 Fortgeschrittene funktionale Programmierung
Diese Lehrveranstaltung ist in allen zugeordneten Curricula Teil der STEOP.
Diese Lehrveranstaltung ist in mindestens einem zugeordneten Curriculum Teil der STEOP.

2019S, VU, 2.0h, 3.0EC, wird geblockt abgehalten

Merkmale

  • Semesterwochenstunden: 2.0
  • ECTS: 3.0
  • Typ: VU Vorlesung mit Übung

Ziele der Lehrveranstaltung

Die Studierenden erhalten in Theorie und Praxis ein breites und
tiefes Verständnis fortgeschrittener Konzepte und Prinzipien
funktionaler Programmierung und ihrer Anwendungen und sind befähigt,
diese in bekannten und unbekannten Anwendungskontexten kompetent und
angemessen einzusetzen.

Inhalt der Lehrveranstaltung

Die Lehrveranstaltung vermittelt in Theorie und Praxis
fortgeschrittene Konzepte und Prinzipien funktionaler Programmierung
und ihre Anwendung. Die Vorlesung spannt dabei den Bogen von
funktionalen Programmierprinzipien über Qualitätssicherung und
fortgeschrittene Sprachkonzepte bis hin zu Anwendungen. Regelmäßig
gestellte Aufgaben im Übungsteil zu Problemstellungen passender Art,
Größe und Schwierigkeit erlauben die vorgestellten Konzepte und
Prinzipien unmittelbar und kontinuierlich praktisch zu erproben und
anzuwenden und führen so zu einem profunden theoretischen und
praktischen Verständnis der vorgestellten Konzepte und Prinzipien.

 Teil I: Motivation

  • Warum funktionale Programmierung wichtig ist

Teil II: Programmierprinzipien

  • Programmieren mit Strömen
  • Programmieren mit Funktionen höherer Ordnung
  • Gleichungsbasiertes Rechnen mit Programmen

Teil III: Qualitätssicherung

  • Testen
  • Verifikation

Teil IV: Fortgeschrittene Sprachkonzepte

  • Abstrakte Datentypen
  • Funktionale Felder
  • Monoide
  • Funktoren
  • Monaden
  • Pfeile

Teil V: Anwendungen

  • Parsing
  • Logische Programmierung funktional
  • Pretty Printing
  • Funktionale reaktive Programmierung

Teil VI: Erweiterungen und Ausblick

  • Erweiterungen für Parallelität und `Real World'-Programmierung
  • Abschluss und Ausblick

Literaturverzeichnis

Anhang

  • Mathematische Grundlagen

 

Weitere Informationen

Die Vorbesprechung und daran anschließend die erste Vorlesung finden
statt am Do, den 07.03.2019, von 16:15 Uhr bis 17:45 Uhr.

Aufteilung der ECTS-Punkte:

Der Lehrveranstaltung sind 3.0 ECTS-Punkte zugeordnet. Diese
entsprechen einem durchschnittlichen Lernaufwand von 75
Stunden. Dieser durchschnittliche Lernaufwand verteilt sich in
folgender Weise auf die einzelne Teile der Lehrveranstaltung:

  • Vorlesungsbesuch und -vor- und -nachbereitung: 35 Std.
  • Übungsaufgaben: 30 Std.
  • Prüfungsvorbereitung und mündliche Prüfung: 10 Std.

Vortragende

Institut

LVA Termine

TagZeitDatumOrtBeschreibung
Do16:00 - 18:0007.03.2019 - 13.06.2019Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Fr16:00 - 18:0022.03.2019EI 4 Reithoffer HS LVA 185.A05 Fortgeschrittene funktionale Programmierung
Fr16:00 - 18:0007.06.2019EI 3A Hörsaal LVA 185.A05 Fortgeschrittene funktionale Programmierung
Fr16:00 - 18:0014.06.2019EI 3A Hörsaal LVA 185.A05 Fortgeschrittene funktionale Programmierung
Fortgeschrittene funktionale Programmierung - Einzeltermine
TagDatumZeitOrtBeschreibung
Do07.03.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do14.03.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do21.03.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Fr22.03.201916:00 - 18:00EI 4 Reithoffer HS LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do28.03.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do04.04.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do11.04.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do02.05.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do09.05.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do16.05.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do23.05.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do06.06.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Fr07.06.201916:00 - 18:00EI 3A Hörsaal LVA 185.A05 Fortgeschrittene funktionale Programmierung
Do13.06.201916:00 - 18:00Seminarraum Argentinierstrasse LVA 185.A05 Fortgeschrittene funktionale Programmierung
Fr14.06.201916:00 - 18:00EI 3A Hörsaal LVA 185.A05 Fortgeschrittene funktionale Programmierung
LVA wird geblockt abgehalten

Leistungsnachweis

Beurteilung von Beispielen und mündliche Prüfung. Die Gesamtnote setzt
sich je zur Hälfte aus der Übungsnote auf die Beispiele und der Note
für die mündliche Prüfung zusammen. Weitere Angaben zum
Beurteilungs- und Prüfungsablauf finden sich auf der homepage der
Lehrveranstaltung.

LVA-Anmeldung

Von Bis Abmeldung bis
01.02.2019 01:00 18.03.2019 18:00 31.03.2019 23:59

Gruppen-Anmeldung

GruppeAnmeldung VonBis
FFP 107.03.2019 01:0015.03.2019 12:00
FFP 207.03.2019 01:0015.03.2019 12:00
FFP 307.03.2019 01:0015.03.2019 12:00
FFP 407.03.2019 01:0015.03.2019 12:00
FFP 507.03.2019 01:0015.03.2019 12:00
FFP 607.03.2019 01:0015.03.2019 12:00
FFP 707.03.2019 01:0015.03.2019 12:00
FFP 807.03.2019 01:0015.03.2019 12:00
FFP 907.03.2019 01:0015.03.2019 12:00
FFP 1007.03.2019 01:0015.03.2019 12:00
FFP 1107.03.2019 01:0015.03.2019 12:00
FFP 1207.03.2019 01:0015.03.2019 12:00
FFP 1307.03.2019 01:0015.03.2019 12:00
FFP 1407.03.2019 01:0015.03.2019 12:00
FFP 1507.03.2019 01:0015.03.2019 12:00
FFP 1607.03.2019 01:0015.03.2019 12:00
FFP 1707.03.2019 01:0015.03.2019 12:00
FFP 1807.03.2019 01:0015.03.2019 12:00
FFP 1907.03.2019 01:0015.03.2019 12:00
FFP 2007.03.2019 01:0015.03.2019 12:00
FFP 2107.03.2019 01:0015.03.2019 12:00
FFP 2207.03.2019 01:0015.03.2019 12:00
FFP 2307.03.2019 01:0015.03.2019 12:00
FFP 2407.03.2019 01:0015.03.2019 12:00
FFP 2507.03.2019 01:0015.03.2019 12:00
FFP 2607.03.2019 01:0015.03.2019 12:00
FFP 2707.03.2019 01:0015.03.2019 12:00
FFP 2807.03.2019 01:0015.03.2019 12:00
FFP 2907.03.2019 01:0015.03.2019 12:00
FFP 3007.03.2019 01:0015.03.2019 12:00
FFP 3107.03.2019 01:0015.03.2019 12:00
FFP 3207.03.2019 01:0015.03.2019 12:00
FFP 3307.03.2019 01:0015.03.2019 12:00
FFP 3407.03.2019 01:0015.03.2019 12:00
FFP 3507.03.2019 01:0015.03.2019 12:00
FFP 3607.03.2019 01:0015.03.2019 12:00
FFP 3707.03.2019 01:0015.03.2019 12:00
FFP 3807.03.2019 01:0015.03.2019 12:00
FFP 3907.03.2019 01:0015.03.2019 12:00
FFP 4007.03.2019 01:0015.03.2019 12:00

Curricula

Literatur

Es wird kein Skriptum zur Lehrveranstaltung angeboten.

Vorkenntnisse

Grundlegende Kenntnisse des funktionalen Programmierparadigmas wie
etwa im Rahmen der Lehrveranstaltung LVA 185.A03 "Funkionale
Programmierung" vermittelt, werden vorausgesetzt.

Vorausgehende Lehrveranstaltungen

Begleitende Lehrveranstaltungen

Weitere Informationen

Sprache

bei Bedarf in Englisch