Theorie der Programmierung

Podcast af Prof. Dr. Lutz Schröder

tysk

Teknologi

Prøv gratis i 14 dage

99 kr. / måned efter prøveperioden.Opsig når som helst.

20 lydbogstimer pr. måned
Podcasts kun på Podimo
Gratis podcasts

Prøv gratis

Om Theorie der Programmierung

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

Alle episoder

25 episoder

25 - Theorie der Programmierung 2018

11. juli 2018 - 1 h 23 min

24 - Theorie der Programmierung 2018

8. juli 2018 - 1 h 25 min

23 - Theorie der Programmierung 2018

4. juli 2018 - 1 h 25 min

22 - Theorie der Programmierung 2018

1. juli 2018 - 1 h 33 min

21 - Theorie der Programmierung 2018

Kodaten

27. juni 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.

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.