Details

Letzter Beitrag vom 2018-07-12 

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
2017-02-06
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
2015-01-29
Frei
freie Daten  


Mehr Kurse aus der Kategorie "Informatik"

Webkongress
2018-07-12
Frei
freie Daten  
ZKI1
2014-03-19
Frei
freie Daten  
Kleinöder
Dr. Jürgen Kleinöder
2013-02-04
Frei
freie Daten  
Campustreffen
2016-07-14
Frei / IdM-Anmeldung
freie & geschützte Daten  
Kohlhase, Michael
Prof. Dr. Michael Kohlhase
2017-07-27
Frei
freie Daten