Algebra des Programmierens (WiSe 2021)

Dozent Prof. Dr. Stefan Milius
Umfang Vorlesung + Übung, 4 SWS, ECTS-Credits: 7,5
Ort 01.255-128 (Cauerstr. 11)
Zeiten Di, 16:15-17:45 Uhr

Do, 8:30-10:00 Uhr
Beginn Di, 26.10.2021
Zielgruppe Informatik BSc (ab 5. Semester), Informatik MSc, Mathematik

Die Lehrveranstaltung wird in Präsenz gemäß der momentan geltenden Regeln der Technischen Fakultät stattfinden; siehe “Planungen Wintersemester 2022/22” unter:
https://www.apps.tf.fau.de/intranet/content/coronabedingte-informationen-bereich-lehre-und-studium

StudOn

Als Online-Platform der Lehrveranstaltung benutzen wir StudOn. Dort werden auch sämtliche Materialien bereit gestellt.

Bitte tragen Sie sich in den StudOn-Kurs ein:

StudOn-Kurs Anmeldung

Inhalt der Vorlesung

Vorsicht Funktor Ziel: solide und flexible mathematische Grundlagen für effektive Programmierung und System-Semantik
Methode: die kategorielle Sichtweise
  • Funktoren zur Beschreibung induktiver Datentypen (Listen, Stacks, Bäume usw.);
    Strukturelle Induktion und Rekursion mittels Initialer-Algebra-Semantik
  • Funktoren zur Beschreibung von Automaten und Transitionssystemen als Koalgebren;
    Bisimulation und System-Verhalten mittels Finaler-Koalgebra-Semantik

Materialien

Es gibt eine geTeXte Mitschrift von Thorsten Wißmann aus dem WS 2013/14, die im SS 2017 Überarbeitet wurde und fortlaufend korrigiert wird. Diese wird im StudOn-Kurs zu dieser Lehrveranstaltung bereit gestellt.

Literatur

  • R. Bird and O. de Moor: Algebra of Programming, Prentice Hall, 1996.
  • J. Adamek, H. Herrlich and G.E. Strecker: Abstract and Concrete Categories: The joy of cats, 2nd edition, Dover Publishers, 2009.
    Freie Online-Version
  • S. Awodey: Category Theory, 2nd edition, Oxford University Press, 2010.

Übungsblätter

… werden im StudOn-Kurs zu dieser Lehrveranstaltung bereit gestellt.