Details

Letzter Beitrag vom 2018-06-21 

Fakultät

Lehrstuhl für Informatik 8 (Theoretische Informatik)

Aufzeichnungsart

Vorlesungsreihe

Über

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

Über

Dauer

Media

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

Mehr Kurse von Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2014-07-10
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2017-07-27
Frei
freie Daten  
Schröder, Lutz
Prof. Dr. Lutz Schröder
2012-07-11
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
2015-07-16
Frei
freie Daten  


Mehr Kurse aus der Kategorie "Informatik"

Hornegger, Joachim
Prof. Dr. Joachim Hornegger
2012-07-16
Frei
freie Daten  
Lenz, Richard
Prof. Dr. Richard Lenz
2018-06-19
Studon
geschützte Daten  
Eskofier, Björn
Prof. Dr. Björn Eskofier
2014-02-04
Studon
geschützte Daten  
ZKI1
2010-12-09
Frei
freie Daten  
DigiDok - Görz und Schneeberger
Prof. Dr. Günther Görz
2010-07-20
Frei
freie Daten