Algebra des Programmierens 2018/2019

These resources are password protected!

This course is produced by FSI. Please contact forum administrators

Detailed information

Most recent entry on 2019-02-05 

Faculty

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Passwort

Language

German

Induktive Datentypen wie z.B. Listen, Stacks und Bäume werden abstrakt beschrieben.

Strukturelle Induktion und Rekursion für solche Datentypen (z.B. die fold-Operation auf Listen) werden auf Grundlage der Initiale-Algebra-Semantik entwickelt. Dadurch werden verschiedene effektive Programmiertricks auf eine solide mathematische Grundlage gestellt.

Grundlagen und Methoden der Kategorientheorie werden eingeführt und erklärt, insbesondere initiale Algebren und ihre Konstruktion.

Evtl. werden Koalgebren behandelt, die es ermöglichen, verschiedene zustandsbasierte Systeme und ihre Semantik in einer einheitlichen Theorie zu studieren.

Lernziele und Kompetenzen:

Die Studierenden erklären induktive Datentypen und die entsprechenden strukturellen Induktionsprinzipien (Defitions- und Beweisprinzip) und wenden diese in Programmierbeispielen an. Sie leiten ferner solche Prinzipien für neue induktive Datentypen her und stellen sie als Spezialfall der Initiale-Algebra-Semantik dar.

Die Studierenden erläutern grundlegende Begriffe der Kategorientheorie und wenden die behandelten Begriffe und Methoden auf verschiedene Spezialfälle in der Informatik an (abstrakte Datentypen, zustandsbasierte Systeme). Sie formulieren die Semantik von induktiven Programmen und zustandsbasierten Systemen mit Hilfe von (Ko)Algebren formulieren.

Die Studierenden erlangen die Fähigkeit kategorientheoretische Beweise zu führen und die entsprechenden Argumente klar schriftlich niederzulegen.

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-10-16
Passwort
01:25:48
2
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-10-17
Passwort
01:33:01
3
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-10-23
Passwort
01:30:19
4
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-10-30
Passwort
01:34:18
5
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-10-31
Passwort
01:26:37
6
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-11-06
Passwort
01:27:54
7
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-11-13
Passwort
01:29:12
8
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-11-20
Passwort
01:25:12
9
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-11-27
Passwort
01:27:26
10
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-12-04
Passwort
01:29:47
11
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-12-11
Passwort
01:31:01
12
Algebra des Programmierens
Prof. Dr. Stefan Milius
2018-12-12
Passwort
01:34:42
13
Algebra des Programmierens
Prof. Dr. Stefan Milius
2019-01-08
Passwort
01:25:29
14
Algebra des Programmierens
Prof. Dr. Stefan Milius
2019-01-09
Passwort
01:29:16
15
Algebra des Programmierens
Prof. Dr. Stefan Milius
2019-01-15
Passwort
01:32:47
16
Algebra des Programmierens
Prof. Dr. Stefan Milius
2019-01-22
Passwort
01:29:17
17
Algebra des Programmierens
Prof. Dr. Stefan Milius
2019-01-29
Passwort
01:32:06
18
Algebra des Programmierens
Prof. Dr. Stefan Milius
2019-02-05
Passwort
01:25:52

More courses from Prof. Dr. Stefan Milius

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

More courses in this category "Computer Science"

Campustreffen
Marcel Ritter
2019-07-11
Free / IdM-login
Freiling, Felix
Prof. Dr. Felix Freiling
2017-02-08
Studon
Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2015-01-29
Free
Campustreffen
2015-07-09
Free
AMOS
Prof. Dr. Dirk Riehle
2018-07-04
Free