Algebra des Programmierens

Dozenten Lutz Schröder
Ort Mo: 01.150-128 (Cauerstr. 11), Fr.: K1(Erwin-Rommel-Straße 60)
Termine SoSe 2017, Mo 10:15-11:45, Fr. 12:15 – 13:45
Beginn Freitag, 28. April 2017 (!)
Umfang Vorlesung+Übung, 4 SWS, ECTS-Credits: 7,5
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 [pdf-embedder url=”https://www8.cs.fau.de/wp-content/uploads/media/ss17/algprog/algprog.pdf”] von Thorsten Wißmann aus dem WS 2013/14, die laufend überarbeitet wird.

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

  • (jetzt mit expliziten Punktzahlen)