Algebra des Programmierens 2018/2019

These resources are password protected!

This course is recorded by video pool Dept. Computer science. For questions please contact video@fsi.cs.fau.de

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
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
Milius, Stefan
Prof. Dr. Stefan Milius
2015-01-29
IdM-login

More courses in this category "Computer Science"

Fey, Dietmar
Prof. Dr. Dietmar Fey
2018-07-11
IdM-login
50 Jahre IT
2018-06-14
Free / RRZE Intern
Stamminger, Marc
Prof. Dr. Marc Stamminger
2015-01-22
Studon
Maier, Andreas
Prof. Dr. Andreas Maier
2019-01-29
Free
Systemausbildung
Marcel Ritter
2019-07-10
Free / IdM-login / RRZE Intern