Details

Letzter Beitrag vom 2018-04-19 

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 Prof. Dr. Lutz Schröder 2018-04-16 Frei 01:28:43
4 Theorie der Programmierung Prof. Dr. Lutz Schröder 2018-04-19 Frei 01:22:57

Mehr Kurse von Prof. Dr. Lutz Schröder

Schröder, Lutz
Prof. Dr. Lutz Schröder
2015-07-16
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
2016-02-01
Frei
freie Daten  


Mehr Kurse aus der Kategorie "Informatik"

Maier, Andreas
Prof. Dr. Andreas Maier
2016-06-21
Frei
freie Daten  
Prokosch, Hans-Ulrich
Prof. Dr. Hans-Ulrich Prokosch
2016-01-28
Studon
geschützte Daten  
Brinda, Torsten
Prof. Dr. Torsten Brinda
2011-06-09
Studon
geschützte Daten  
Riehle, Dirk
Prof. Dr. Dirk Riehle
2011-02-07
Frei
freie Daten  
Riess, Christian
Dr. Christian Riess
2016-07-15
Frei
freie Daten