Kategorien in der Programmierung 2017/2018

Detailed information

Most recent entry on 2018-02-05 

Faculty

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

German

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

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-16
Free
01:27:05
2
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-18
Free
01:31:26
3
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-23
Free
01:29:40
4
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-10-25
Free
01:25:58
5
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-06
Free
01:31:18
6
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-08
Free
01:29:10
7
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-13
Free
01:31:21
8
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-15
Free
01:28:23
9
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-20
Free
01:37:02
10
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-22
Free
01:29:24
11
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-11-27
Free
01:32:31
12
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-04
Free
01:30:57
13
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-06
Free
01:32:34
14
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-11
Free
01:32:36
15
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-18
Free
01:31:11
16
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2017-12-20
Free
01:34:33
17
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-08
Free
01:31:22
18
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-15
Free
00:33:04
19
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-17
Free
01:26:03
20
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-29
Free
01:27:47
21
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-01-31
Free
01:19:36
22
Kategorien in der Programmierung
Prof. Dr. Stefan Milius
2018-02-05
Free
01:33:05

More courses from Prof. Dr. Stefan Milius

Milius, Stefan
Prof. Dr. Stefan Milius
2018-02-05
Free
Schröder, Lutz
Prof. Dr. Stefan Milius
2017-07-27
Free
Milius, Stefan
Prof. Dr. Stefan Milius
2015-01-29
IdM-login
Milius, Stefan
Prof. Dr. Stefan Milius
2016-07-13
IdM-login

More courses in this category "Computer Science"

Schloss1
Dr. Tadeusz Litak
2019-07-25
Passwort
Systemausbildung
Marcel Ritter
2019-07-10
Free / IdM-login / RRZE Intern
Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2010-01-28
Free
Campustreffen
2017-06-22
Free / IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Free