Theorie der Programmierung 2018 /CourseID:656

Detailed information

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

Most recent entry on 2018-07-12 

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
Prof. Dr. Lutz Schröder
2018-04-09
Free
01:24:54
2
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-04-12
Free
01:29:38
3
Theorie der Programmierung
Christoph Rauch
2018-04-16
Free
01:28:43
4
Theorie der Programmierung
Christoph Rauch
2018-04-19
Free
01:22:57
5
Theorie der Programmierung
Christoph Rauch
2018-04-23
Free
01:25:56
6
Theorie der Programmierung
Christoph Rauch
2018-04-26
Free
01:05:05
7
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-04-30
Free
01:04:06
8
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-03
Free
01:21:10
9
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-07
Free
01:23:15
10
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-14
Free
01:12:26
11
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-17
Free
01:28:48
12
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-24
Free
01:08:46
13
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-05-28
Free
01:19:05
14
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-04
Free
01:20:51
15
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-07
Free
01:22:28
16
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-11
Free
01:23:30
17
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-14
Free
01:16:04
18
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-18
Free
01:22:04
19
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-21
Free
01:22:03
20
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-25
Free
01:20:55
21
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-06-28
Free
01:27:59
22
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-07-02
Free
01:33:14
23
Theorie der Programmierung
Christoph Rauch
2018-07-05
Free
01:25:01
24
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-07-09
Free
01:25:58
25
Theorie der Programmierung
Prof. Dr. Lutz Schröder
2018-07-12
Free
01:23:19

More courses from Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-21
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-02
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-07-12
Free

More courses in this category "Technische Fakultät"

Schloss1
PD Dr. Kolja Andreas
2020-04-14
Studon
Schloss1
Dr.-Ing. Jan Schür
2020-07-07
Studon
Strehl, Volker
Prof. Dr. Volker Strehl
2015-01-29
Passwort
Steinmann, Paul
Prof. Dr. Paul Steinmann
2014-07-10
Free