Theorie der Programmierung Course ID:656
Podkast av 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
Prøv gratis i 7 dager
99,00 kr / Måned etter prøveperioden.Avslutt når som helst.
Alle episoder
25 Episoder
25 - Theorie der Programmierung 2018
11. juli 2018 - 1 h 23 min
24 - Theorie der Programmierung 2018
08. juli 2018 - 1 h 25 min
23 - Theorie der Programmierung 2018
04. juli 2018 - 1 h 25 min
22 - Theorie der Programmierung 2018
01. juli 2018 - 1 h 33 min
21 - Theorie der Programmierung 2018
Kodaten
27. juni 2018 - 1 h 27 min
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Liker at det er både Podcaster (godt utvalg) og lydbøker i samme app, pluss at man kan holde Podcaster og lydbøker atskilt i biblioteket.
Bra app. Oversiktlig og ryddig. MYE bra innhold⭐️⭐️⭐️
Prøv gratis i 7 dager
99,00 kr / Måned etter prøveperioden.Avslutt når som helst.
Eksklusive podkaster
Uten reklame
Gratis podkaster
Lydbøker
20 timer i måneden
