Theorie der Programmierung 2019

Detailed information

Keywords: Zustände Kalkül Algorithmus Typen Induktion Lambda Lambda-Kalkül programme Isomorphismus Homomorphismus Typinferenz Hindley transition datentypen typen Substitution Beta Reduktion Church Rosser

Most recent entry on 2019-07-25 

Faculty

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Language

German

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-04-25
IdM-login
01:08:39
2
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-04-29
IdM-login
01:26:09
3
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-02
IdM-login
01:18:25
4
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-06
IdM-login
01:22:47
5
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-09
IdM-login
01:23:03
6
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-13
IdM-login
01:22:06
7
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-16
IdM-login
01:19:46
8
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-20
IdM-login
01:22:12
9
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-23
IdM-login
01:26:30
10
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-27
IdM-login
01:29:01
11
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-03
IdM-login
01:18:47
12
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-06
IdM-login
01:14:26
13
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-13
IdM-login
01:23:22
14
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-17
IdM-login
01:10:01
15
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-24
IdM-login
01:23:33
16
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-27
IdM-login
01:20:06
17
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-01
IdM-login
01:23:25
18
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-04
IdM-login
01:24:07
19
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-08
IdM-login
01:26:53
20
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-11
IdM-login
01:21:48
21
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-15
IdM-login
01:20:06
22
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-18
IdM-login
01:22:44
23
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-22
IdM-login
01:24:08
24
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login
01:24:56

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2013-07-19
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-07-16
Free

More courses in this category "Computer Science"

Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Free
50 Jahre IT
2018-06-14
Free / RRZE Intern
Greiner, Günther
Prof. Dr. Günther Greiner
2013-07-17
Studon
Stamminger, Marc
Prof. Dr. Marc Stamminger
2014-01-16
Free