Theorie der Programmierung 2019 /CoursesID:774
- Most recent entry on 2019-07-25
Keywords: Zustände Kalkül Algorithmus Typen transition Induktion Lambda Lambda-Kalkül programme Isomorphismus Homomorphismus Typinferenz Hindley System typen datentypen Substitution Beta Reduktion Church

Lecturer

Prof. Dr. Lutz Schröder

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

IdM-login

Language

German

Associated Clips

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

More courses from Prof. Dr. Lutz Schröder

Grundlagen der Logik und Logikprogrammierung 2012  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2012-07-11
Free
Grundlagen der Logik in der Informatik 2016/2017  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2017-02-06
Free
Grundlagen der Logik in der Informatik 2014/2015  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2015-01-29
Free
Grundlagen der Logik in der Informatik 2023/2024  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2024-02-08
IdM-login
Theorie der Programmierung 2015  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2015-07-16
Free

More courses in this category "Technische Fakultät"

Turbomaschinen 2020/2021  
Schloss1
Prof. Dr. Stefan Becker
lecture
2021-02-12
Studon
Übungen zu Maschinenelemente I  
Schloss1
M. Sc. Michael Jüttner
Tutorial
2022-02-09
Studon
Übungen zu Organischen Werkstoffen  
Schloss1
Anna Zehetmeier
Tutorial
2021-10-19
IdM-login / Studon
Transaction Systems 2020  
Schloss1
Prof. Dr. Richard Lenz
lecture
2020-07-13
IdM-login / Studon
Übungen zu Grundlagen der Elektrotechnik I (UE GETI)  
Schloss1
M. Sc. Hossein Fazeli Khalili
Tutorial
2021-01-12
Studon