Theorie der Programmierung Series ID:656

Podcast af Prof. Dr. Lutz Schröder

tysk

Uddannelse

Kom i gang

Begrænset tilbud

Derefter 99 kr. / månedOpsig når som helst.

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

Kom i gang

Læs mere Theorie der Programmierung Series ID:656

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

Jack

App Store

Jack

App Store

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 😁 👍

Søren Jensen

App Store

Podimo er blevet uundværlig! Til lange bilture, hverdagen, rengøringen og i det hele taget, når man trænger til lidt adspredelse.

ACKH

App Store

Vælg dit abonnement

Begrænset tilbud

Premium

20 timers lydbøger