Theorie der Programmierung Course ID:656
Podcast af 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 dage
99,00 kr. / måned efter prøveperiode.Ingen binding.
Alle episoder
25 episoder
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
En fantastisk app med et enormt stort udvalg af spændende podcasts. Podimo formår virkelig at lave godt indhold, der takler de lidt mere svære emner. At der så også er lydbøger oveni til en billig pris, gør at det er blevet min favorit app.
En fantastisk app med et enormt stort udvalg af spændende podcasts. Podimo formår virkelig at lave godt indhold, der takler de lidt mere svære emner. At der så også er lydbøger oveni til en billig pris, gør at det er blevet min favorit app.
Rigtig god tjeneste med gode eksklusive podcasts og derudover et kæmpe udvalg af podcasts og lydbøger. Kan varmt anbefales, om ikke andet så udelukkende pga Dårligdommerne, Klovn podcast, Hakkedrengene og Han duo 😁 👍
Podimo er blevet uundværlig! Til lange bilture, hverdagen, rengøringen og i det hele taget, når man trænger til lidt adspredelse.
Prøv gratis i 7 dage
99,00 kr. / måned efter prøveperiode.Ingen binding.
Eksklusive podcasts
Uden reklamer
Gratis podcasts
Lydbøger
20 timer / måned
