Theorie der Programmierung Course ID:656
Podcast by 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
90 vrk ilmainen kokeilu
Kokeilun jälkeen 7,99 € / kuukausi.Peru milloin tahansa.
Kaikki jaksot
25 jaksot
25 - Theorie der Programmierung 2018
11. heinäk. 2018 - 1 h 23 min
24 - Theorie der Programmierung 2018
08. heinäk. 2018 - 1 h 25 min
23 - Theorie der Programmierung 2018
04. heinäk. 2018 - 1 h 25 min
22 - Theorie der Programmierung 2018
01. heinäk. 2018 - 1 h 33 min
21 - Theorie der Programmierung 2018
Kodaten
27. kesäk. 2018 - 1 h 27 min
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Kiva sovellus podcastien kuunteluun, ja sisältö on monipuolista ja kiinnostavaa
Todella kiva äppi, helppo käyttää ja paljon podcasteja, joita en tiennyt ennestään.
90 vrk ilmainen kokeilu
Kokeilun jälkeen 7,99 € / kuukausi.Peru milloin tahansa.
Podimon podcastit
Mainoksista vapaa
Maksuttomat podcastit
