Kategorien in der Programmierung 2017/2018 /KursID:780
- Letzter Beitrag vom 2018-02-05

Einrichtung

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Aufzeichnungsart

Vorlesungsreihe

Zugang

Frei

Sprache

Deutsch

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

Lernziele und Kompetenzen:

 

Fachkompetenz
Verstehen
Die Studierenden erklären grundlegende Begriffe und Konzepte der Kategorientheorie und beschreiben Beispiele. Sie erklären außerdem grundlegende kategorielle Ergebnisse.
Anwenden
Die Studierenden wenden kategorientheoretische Konzepte und Ergebnisse an, um semantische Modelle für Programmiersprachen und Spezifikationsformalismen aufzustellen.
Analysieren
Die Studierenden analysieren kategorientheoretische Beweise, dieskutieren die entsprechende Argumentationen und legen diese schriftlich klar nieder.
Lern- bzw. Methodenkompetenz
Die Studieren lesen und verstehen Fachliteratur, die die Sprache der Kategorientheorie benutzt.
Sie sind in der Lage entsprechende mathematische Argumentationen nachzuvollziehen, zu erklären und selbst zu führen und schriftlich darzus

Zugehörige Einzelbeiträge

Folge
Titel
Lehrende(r)
Aktualisiert
Zugang
Dauer
Medien
1
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-16
Frei
01:27:05
2
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-18
Frei
01:31:26
3
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-23
Frei
01:29:40
4
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-25
Frei
01:25:58
5
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-06
Frei
01:31:18
6
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-08
Frei
01:29:10
7
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-13
Frei
01:31:21
8
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-15
Frei
01:28:23
9
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-20
Frei
01:37:02
10
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-22
Frei
01:29:24
11
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-27
Frei
01:32:31
12
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-04
Frei
01:30:57
13
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-06
Frei
01:32:34
14
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-11
Frei
01:32:36
15
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-18
Frei
01:31:11
16
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-20
Frei
01:34:33
17
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-08
Frei
01:31:22
18
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-15
Frei
00:33:04
19
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-17
Frei
01:26:03
20
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-29
Frei
01:27:47
21
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-31
Frei
01:19:36
22
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-02-05
Frei
01:33:05

Mehr Kurse von Prof. Dr. Stefan Milius

Milius, Stefan
Prof. Dr. Stefan Milius
Vorlesung
2015-01-29
IdM-Anmeldung
Milius, Stefan
Prof. Dr. Stefan Milius
Vorlesung
2019-07-24
IdM-Anmeldung
Milius, Stefan
Prof. Dr. Stefan Milius
Vorlesung
2019-02-05
Passwort
Schröder, Lutz
Prof. Dr. Stefan Milius
Vorlesung
2017-07-27
Frei

Mehr Kurse aus der Kategorie "Technische Fakultät"

Schloss1
Prof. Dr. Stefan Becker
Übung
2021-07-15
Studon
Schloss1
M. Sc. Johann Penner
Übung
2020-02-07
Studon
Schloss1
M. Sc. Daniela Wokusch
Übung
2020-07-14
IdM-Anmeldung