Theorie der Programmierung Course ID:656
Podcast door Prof. Dr. Lutz Schröder
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
Tijdelijke aanbieding
3 maanden voor € 1,00
Daarna € 9,99 / maandElk moment opzegbaar.
Alle afleveringen
25 afleveringen
25 - Theorie der Programmierung 2018
11 jul 2018 - 1 h 23 min
24 - Theorie der Programmierung 2018
08 jul 2018 - 1 h 25 min
23 - Theorie der Programmierung 2018
04 jul 2018 - 1 h 25 min
22 - Theorie der Programmierung 2018
01 jul 2018 - 1 h 33 min
21 - Theorie der Programmierung 2018
Kodaten
27 jun 2018 - 1 h 27 min
Super app. Onthoud waar je bent gebleven en wat je interesses zijn. Heel veel keuze!
Super app. Onthoud waar je bent gebleven en wat je interesses zijn. Heel veel keuze!
Makkelijk in gebruik!
App ziet er mooi uit, navigatie is even wennen maar overzichtelijk.
Tijdelijke aanbieding
3 maanden voor € 1,00
Daarna € 9,99 / maandElk moment opzegbaar.
Exclusieve podcasts
Advertentievrij
Gratis podcasts
Luisterboeken
20 uur / maand
