Theorie der Programmierung Series ID:656

Podcast by Prof. Dr. Lutz Schröder

German

Education

Get Started

Limited Offer

Then 99 kr. / monthCancel anytime.

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

Get Started

About 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

All episodes

25 episodes

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

Choose your subscription

Limited Offer

Premium

20 hours of audiobooks