Theorie der Programmierung 2018

Detailed information

Keywords: Kalkül Algorithmus Normalform Konfluenz Church-Rosser Newman's Lemma Kritisches Paar Lambda Lambda-Kalkül Streifenlemma Induktive Datentypen Isomorphismus Homomorphismus Kodaten ML Polymorphie Typinferenz Hindley Milner let

Most recent entry on 2018-07-12 

Faculty

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
2014-07-10
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2019-07-25
IdM-login
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Free
Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-01-29
Free

More courses in this category "Computer Science"

Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2011-07-26
Free
Schloss1
Thorsten Wißmann
2014-07-08
Free
Prokosch, Hans-Ulrich
Prof. Dr. Hans-Ulrich Prokosch
2016-01-28
Studon