Fakultät

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Aufzeichnungsart

Vorlesungsreihe

Zugang

Frei

Sprache

Deutsch


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

Zugehörige Einzelbeiträge

Folge

Titel

Lehrende(r):

Aktualisiert

Zugang

Dauer

Medien

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

Mehr Kurse von Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2018-02-07
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2016-02-01
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-02-06
Frei
freie Daten  


Mehr Kurse aus der Kategorie "Informatik"

Netzwerkausbildung
2016-01-27
IdM-Anmeldung
freie & geschützte Daten  
Maier, Andreas
Prof. Dr. Andreas Maier
2017-07-07
Studon
geschützte Daten  
Maier, Andreas
Prof. Dr. Andreas Maier
2015-07-16
Frei
freie Daten  
Schloss1
Prof. Dr. Dietmar Fey
2015-07-06
Frei / Studon
geschützte Daten  
Buwa, Vivek
Prof. Vivek Buwa
2017-06-23
IdM-Anmeldung
geschützte Daten