Theorie der Programmierung 2019 /KursID:774
- Letzter Beitrag vom 2019-07-25
Schlüsselworte: Zustände Kalkül Algorithmus Typen transition Induktion Lambda Lambda-Kalkül programme Isomorphismus Homomorphismus Typinferenz Hindley System typen datentypen Substitution Beta Reduktion Church
Zugehörige Einzelbeiträge
Folge
Titel
Lehrende(r)
Aktualisiert
Zugang
Dauer
Medien
1
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-04-25
IdM-Anmeldung
01:08:39
Folien
Audio
captions
2
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-04-29
IdM-Anmeldung
01:26:09
Folien
Audio
captions
3
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-02
IdM-Anmeldung
01:18:25
Folien
Audio
captions
4
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-06
IdM-Anmeldung
01:22:47
Folien
Audio
captions
5
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-09
IdM-Anmeldung
01:23:03
Folien
Audio
captions
6
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-13
IdM-Anmeldung
01:22:06
Folien
Audio
captions
7
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-16
IdM-Anmeldung
01:19:46
Folien
Audio
captions
8
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-20
IdM-Anmeldung
01:22:12
Folien
Audio
captions
9
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-23
IdM-Anmeldung
01:26:30
Folien
Audio
captions
10
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-27
IdM-Anmeldung
01:29:01
Folien
Audio
captions
11
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-03
IdM-Anmeldung
01:18:47
Folien
Audio
captions
12
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-06
IdM-Anmeldung
01:14:26
Folien
Audio
captions
13
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-13
IdM-Anmeldung
01:23:22
Folien
Audio
captions
14
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-17
IdM-Anmeldung
01:10:01
Folien
Audio
captions
15
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-24
IdM-Anmeldung
01:23:33
Folien
Audio
captions
16
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-27
IdM-Anmeldung
01:20:06
Folien
Audio
captions
17
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-01
IdM-Anmeldung
01:23:25
Folien
Audio
captions
18
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-04
IdM-Anmeldung
01:24:07
Folien
Audio
captions
19
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-08
IdM-Anmeldung
01:26:53
Folien
Audio
captions
20
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-11
IdM-Anmeldung
01:21:48
Folien
Audio
captions
21
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-15
IdM-Anmeldung
01:20:06
Folien
Audio
captions
22
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-18
IdM-Anmeldung
01:22:44
Folien
Audio
captions
23
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-22
IdM-Anmeldung
01:24:08
Folien
Audio
captions
24
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-25
IdM-Anmeldung
01:24:56
Folien
Audio
captions
Mehr Kurse von Prof. Dr. Lutz Schröder
Prof. Dr. Lutz Schröder
Vorlesung
2018-07-12
Frei
Prof. Dr. Lutz Schröder
Vorlesung
2018-07-12
Frei
Prof. Dr. Lutz Schröder
Vorlesung
2014-07-10
Frei
Prof. Dr. Lutz Schröder
Vorlesung
2017-07-21
Frei
Prof. Dr. Lutz Schröder
Vorlesung
2024-07-18
IdM-Anmeldung
Mehr Kurse aus der Kategorie "Technische Fakultät"
2021-11-19
IdM-Anmeldung
Prof. Dr. Lutz Schröder
Vorlesung
2024-07-18
IdM-Anmeldung
Prof. Dr. Stefan Milius
Vorlesung
2019-07-24
IdM-Anmeldung
Prof. Dr. Lutz Schröder
Vorlesung
2015-07-16
Frei
Prof. Dr. Lutz Schröder
Vorlesung
2022-07-28
IdM-Anmeldung