Theorie der Programmierung

Podcast by Prof. Dr. Lutz Schröder

German

Technology

Start 14 days free trial

99 kr. / month after trial.Cancel anytime.

20 hours of audiobooks / month
Podcasts only on Podimo
All free podcasts

Start for free

About 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

All episodes

25 episodes

25 - Theorie der Programmierung 2018

11 Jul 2018 - 1 h 23 min

24 - Theorie der Programmierung 2018

8 Jul 2018 - 1 h 25 min

23 - Theorie der Programmierung 2018

4 Jul 2018 - 1 h 25 min

22 - Theorie der Programmierung 2018

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

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.