Navigation
Skiplinks
Zum Inhalt springen
Zur Suche springen
Zur Hauptnavigation springen
Hauptnavigation
Course
Clip
Podcasts
Semester
Lecturer
FAU Organizations
Search
Livestream
Hörsäle
FAQ
IdM-login
EN
Search:
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
Search course clips:
1
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-04-25
IdM-login
01:08:39
slides
audio
captions
go to clip page
2
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-04-29
IdM-login
01:26:09
slides
audio
captions
go to clip page
3
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-02
IdM-login
01:18:25
slides
audio
captions
go to clip page
4
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-06
IdM-login
01:22:47
slides
audio
captions
go to clip page
5
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-09
IdM-login
01:23:03
slides
audio
captions
go to clip page
6
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-13
IdM-login
01:22:06
slides
audio
captions
go to clip page
7
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-16
IdM-login
01:19:46
slides
audio
captions
go to clip page
8
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-20
IdM-login
01:22:12
slides
audio
captions
go to clip page
9
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-23
IdM-login
01:26:30
slides
audio
captions
go to clip page
10
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-05-27
IdM-login
01:29:01
slides
audio
captions
go to clip page
11
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-03
IdM-login
01:18:47
slides
audio
captions
go to clip page
12
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-06
IdM-login
01:14:26
slides
audio
captions
go to clip page
13
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-13
IdM-login
01:23:22
slides
audio
captions
go to clip page
14
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-17
IdM-login
01:10:01
slides
audio
captions
go to clip page
15
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-24
IdM-login
01:23:33
slides
audio
captions
go to clip page
16
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-06-27
IdM-login
01:20:06
slides
audio
captions
go to clip page
17
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-01
IdM-login
01:23:25
slides
audio
captions
go to clip page
18
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-04
IdM-login
01:24:07
slides
audio
captions
go to clip page
19
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-08
IdM-login
01:26:53
slides
audio
captions
go to clip page
20
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-11
IdM-login
01:21:48
slides
audio
captions
go to clip page
21
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-15
IdM-login
01:20:06
slides
audio
captions
go to clip page
22
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-18
IdM-login
01:22:44
slides
audio
captions
go to clip page
23
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-22
IdM-login
01:24:08
slides
audio
captions
go to clip page
24
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login
01:24:56
slides
audio
captions
go to clip page
More courses from Prof. Dr. Lutz Schröder
Kommunikation und Parallele Prozesse 2014
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free
Theorie der Programmierung 2022
Prof. Dr. Lutz Schröder
lecture
2022-07-28
IdM-login
Komplexität von Algorithmen 2013
Prof. Dr. Lutz Schröder
lecture
2013-07-19
Free
Theorie der Programmierung 2024
Prof. Dr. Lutz Schröder
lecture
2024-07-18
IdM-login
Grundlagen der Logik in der Informatik 2017/2018
Prof. Dr. Lutz Schröder
lecture
2018-02-07
Free
More courses in this category "Technische Fakultät"
Technologie integrierter Schaltungen 2020/2021
PD Dr. Tobias Erlbacher
lecture
2021-01-29
IdM-login / Passwort
Tag des CBI 2023
lecture
2023-06-15
Free / IdM-login
Technische Thermodynamik (Vertiefung) für ET und CE 2021
Prof. Dr.-Ing. Andreas Paul Fröba
lecture
2021-07-12
Studon
Tag des CBI 2024
lecture
2024-06-20
IdM-login
Technische Thermodynamik I für ET und CE 2021/2022
Prof. Dr.-Ing. Andreas Paul Fröba
lecture
2022-02-03
Studon
Are you ready to go?
×
Select "Logout" below if you are ready to end your current session.