Kategorien in der Programmierung 2017/2018 /CourseID:780

Detailed information

Most recent entry on 2018-02-05 

Organisational Unit

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
2016-07-13
IdM-login
Milius, Stefan
Prof. Dr. Stefan Milius
2019-02-05
Passwort
Schröder, Lutz
Prof. Dr. Stefan Milius
2017-07-27
Free
Milius, Stefan
Prof. Dr. Stefan Milius
2018-02-05
Free

More courses in this category "Technische Fakultät"

Schloss1
Prof. Dr. Matthias Luther
2020-07-29
Studon
Steinmann, Paul
Prof. Dr. Paul Steinmann
2011-02-08
Free
Schloss1
M. Sc. Lukas Brand
2020-07-08
Studon
Strehl, Volker
Prof. Dr. Volker Strehl
2012-07-19
Passwort