Algebra des Programmierens (WiSe 2026/27)

Dozent	Dr. Henning Urbat
Umfang	Vorlesung + Übung, 4 SWS, ECTS-Credits: 7,5
Zeit und Ort	Di, 16:15-17:45 Uhr, 01.151-128 (Cauerstraße 11) Di, 16:15-17:45 Uhr, 01.151-128 (Cauerstraße 11)
Beginn	Mo, 12.10.2026
Zielgruppe	Informatik BSc (ab 5. Semester), Informatik MSc, Mathematik

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 Lehrveranstaltung

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.