10 - Theorie der Programmierung/ClipID:11485 previous clip next clip

Keywords: En Gros Reduktion Standardisierung Satz Barendregt Felleisen Richter Weak head internal Induktion

Recording date 2019-05-27

Course

Theorie der Programmierung

Lecturer

Prof. Dr. Lutz Schröder

Via

IdM-login

Language

German

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Producer

MultiMediaZentrum

Format

lecture

Type

university lecture

Up next

11 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-03
IdM-login
12 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-06
IdM-login
13 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-13
IdM-login
14 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-17
IdM-login
15 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-06-24
IdM-login

More clips in this category "Technische Fakultät"

7 - Dynamik starrer Körper
2021-12-02
Studon
protected  
5 - Week 5
2021-12-02
IdM-login
protected  
7 - Referenzen, Robuster Code und Schnittstellen
2021-12-02
IdM-login / Studon
protected  
7 - Abfallaufbereitung (ABA) - Vorlesung
2021-12-02
Studon
protected  
14 - Exercises 07
2021-12-02
IdM-login / Studon
protected  
14 - Statik und Festigkeitslehre
2021-12-03
IdM-login
protected