20 - Theorie der Programmierung/ClipID:11821 previous clip next clip

Keywords: Korekursion G-Koalgebra tail odd even blink ones Bisimulation Streams Koinduktion

Recording date 2019-07-11

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

21 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-15
IdM-login
22 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-18
IdM-login
23 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-22
IdM-login
24 - Theorie der Programmierung
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login

More clips in this category "Technische Fakultät"

2 - Regelungstechnik A - V02
2021-10-22
Studon
protected  
2 - Numerical Methods in Thermo-Fluid Dynamics 1 (NMTFD1)
2021-10-22
Studon
protected  
1 - Fluid Mechanics
2021-10-22
Studon
protected  
1 - Grundlagen der Informatik
2021-10-23
IdM-login
protected  
2 - Maschinenelemente I
2021-10-22
Studon
protected  
1 - Dynamik starrer Körper
2021-10-21
Studon
protected