|
|
Vorlesungsverzeichnis >> Technische Fakultät (TF) >>
|
Kategorien in der Programmierung (KatProg)- Dozent/in
- PD Dr. Stefan Milius
- Angaben
- Vorlesung mit Übung
4 SWS, ECTS-Studium, ECTS-Credits: 7,5
geeignet als Schlüsselqualifikation, Sprache Deutsch
Zeit und Ort: Mo 16:15 - 17:45, 01.255-128; Mi 14:15 - 15:45, 01.255-128
- Studienfächer / Studienrichtungen
- WF M-MA ab 1
WPF INF-MA ab 1 (ECTS-Credits: 7,5)
WPF INF-BA-V-THI ab 3 (ECTS-Credits: 7,5)
WF M-BA ab 3
- ECTS-Informationen:
- Title:
- Categories in Programming
- Credits: 7,5
- Prerequisites
- Grundlagenveranstaltungen der Theoretischen Informatik (GloIn, ThProg)
Der Stoff baut auf den von Algebra des Programmierens auf, vertieft die Inhalte und behandelt weiterführende Themen.
- Contents
- Die behandelten Themen bauen auf den Stoff von Algebra des Programmierens auf und vertieft diesen.
Folgende weiterführende Themen werden behandelt:
Kategorie der CPOs; insbesondere freie CPOs, Einbettungen/Projektionen, Limes-Kolimes-Koinzidenz Lokal stetige Funktoren und deren kanonische Fixpunkte; Lösung rekursiver Bereichsgleichungen insbesondere Modell des ungetyptes Lambda-Kalküls freie Konstruktionen, universelle Pfeile und adjungierte Funktoren Äquivalenzfunktoren Monaden: Eilenberg-Moore und Kleisli-Kategorien; Freie Monaden; Becks Satz evtl. Distributivgesetze, verallgemeinerte Potenzmengenkonstruktion und abstrakte GSOS Regeln evtl. Algebren und Monaden für Iteration
- Literature
- J. Adamek, H. Herrlich and G.E. Strecker: Abstract and Concrete Categories: The Joy of Cats, 2nd edition, Dover Publishers, 2009.
S. Awodey: Category Theory, 2nd edition, Oxford University Press, 2011. S. Mac Lane: Categories for the Working Mathematician, 2nd edition, Springer-Verlag, 1998.
- Zusätzliche Informationen
- Erwartete Teilnehmerzahl: 20, Maximale Teilnehmerzahl: 25
- Verwendung in folgenden UnivIS-Modulen
- Startsemester WS 2017/2018:
- Kategorien in der Programmierung (KatProg)
- Institution: Lehrstuhl für Informatik 8 (Theoretische Informatik)
|
 |
|
|
UnivIS ist ein Produkt der Config eG, Buckenhof |
|
|