Funktionallogisches Modellieren und Programmieren, LSF, 04xxxx

Die LV behandelt grundlegende Konzepte zu Konstruktion, Ausführung und Verifikation formaler Modelle. 50 Jahre Forschung und Entwicklung an der Schnittstelle zwischen Mathematik und Softwaretechnik haben gezeigt, dass Aufbau und Verhalten der Objekte eines formalen Modells von spezifischen Konstruktoren bzw. Destruktoren bestimmt werden. Konstruktormengen werden induktiv als Grammatiken o.ä. definiert. Destruktormengen bestehen aus Transitions- und Attributfunktionen zustandsbasierter Systeme (Automaten, Kripke-Strukturen, Petri-Netze, Flussgraphen, Prozessalgebren, Klassenhierarchien, etc.) und werden heute oft coinduktiv definiert. Beide Modelltypen verfügen über mächtige Auswertungs-, Lösungs- und Beweismethoden. Die LV wird zunächst fundamentale typ- und kategorientheoretische Konzepte (Funktoren, Limiten, Algebren, Folds, Unfolds, Monaden) behandeln und darauf aufbauend eine an Haskell, Prolog und SQL angelehnte funktionallogische Sprache, die im interaktiven Spezifikationswerkzeug Expander2/3 ausführbar ist.

Webseite: https://fldit-www.cs.tu-dortmund.de/flmp.html