Theorie der Programmierung 2018 /CoursesID:656
- Most recent entry on 2018-07-12
Keywords: Kalkül Algorithmus Normalform Konfluenz Church-Rosser Lambda Lambda-Kalkül Streifenlemma Isomorphismus Homomorphismus Kodaten ML Polymorphie Typinferenz Hindley Milner let Lemma Newmans Kritisches

Lecturer

Prof. Dr. Lutz Schröder

Organisational Unit

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Recording type

Vorlesungsreihe

Via

Free

Language

German

Inhalt:

 

  • Termersetzungssysteme, Normalisierung, Konfluenz

  • Getypter und ungetypter Lambda-Kalkül

  • Semantik von Programmiersprachen, Anfänge der Bereichstheorie

  • Datentypen, Kodatentypen, Induktion und Koinduktion, Rekursion und Korekursion

  • Programmverifikation, Floyd-Hoare-Kalkül

  • Reguläre Sprachen und endliche Automaten

  • Beschriftete Transitionssysteme, Bisimulation und Temporallogik

Associated Clips

Episode
Title
Lecturer
Updated
Via
Duration
Media
1
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-04-09
Free
01:24:54
go to clip page
2
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-04-12
Free
01:29:38
go to clip page
3
Theorie der Programmierung preview image
Theorie der Programmierung
Christoph Rauch
2018-04-16
Free
01:28:43
go to clip page
4
Theorie der Programmierung preview image
Theorie der Programmierung
Christoph Rauch
2018-04-19
Free
01:22:57
go to clip page
5
Theorie der Programmierung preview image
Theorie der Programmierung
Christoph Rauch
2018-04-23
Free
01:25:56
go to clip page
6
Theorie der Programmierung preview image
Theorie der Programmierung
Christoph Rauch
2018-04-26
Free
01:05:05
go to clip page
7
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-04-30
Free
01:04:06
go to clip page
8
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-03
Free
01:21:10
go to clip page
9
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-07
Free
01:23:15
go to clip page
10
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-14
Free
01:12:26
go to clip page
11
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-17
Free
01:28:48
go to clip page
12
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-24
Free
01:08:46
go to clip page
13
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-28
Free
01:19:05
go to clip page
14
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-04
Free
01:20:51
go to clip page
15
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-07
Free
01:22:28
go to clip page
16
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-11
Free
01:23:30
go to clip page
17
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-14
Free
01:16:04
go to clip page
18
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-18
Free
01:22:04
go to clip page
19
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-21
Free
01:22:03
go to clip page
20
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-25
Free
01:20:55
go to clip page
21
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-28
Free
01:27:59
go to clip page
22
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-07-02
Free
01:33:14
go to clip page
23
Theorie der Programmierung preview image
Theorie der Programmierung
Christoph Rauch
2018-07-05
Free
01:25:01
go to clip page
24
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-07-09
Free
01:25:58
go to clip page
25
Theorie der Programmierung preview image
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-07-12
Free
01:23:19
go to clip page

More courses from Prof. Dr. Lutz Schröder

Theorie der Programmierung (ThProg) 2014  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free
Theorie der Programmierung 2022  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2022-07-28
IdM-login
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 2021/2022  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2022-02-04
IdM-login
Kommunikation und Parallele Prozesse 2014  
Schröder, Lutz
Prof. Dr. Lutz Schröder
lecture
2014-07-10
Free

More courses in this category "Technische Fakultät"

Polymere Werkstoffe in der Verpackung 2020  
Schloss1
Dr.-Ing. Joachim Kaschta
lecture
2020-04-29
Studon
Produktionstechnik I 2020/2021  
Merklein, Marion
Prof. Dr. Marion Merklein
lecture
2021-01-15
Studon
Prozessmaschinen und Apparatetechnik (Process Equipment) 2020/2021  
Schloss1
Prof. Dr. Stefan Becker
lecture
2021-01-21
Studon
Praktische Semantik von Programmiersprachen 2020  
Schloss1
Dr. Tadeusz Litak
lecture
2020-07-22
Passwort
Praktische Semantik von Programmiersprachen 2019  
Schloss1
Dr. Tadeusz Litak
lecture
2019-07-25
Passwort