Theorie der Programmierung Series ID:656

Theorie der Programmierung Series ID:656

Podcast door Prof. Dr. Lutz Schröder

Tijdelijke aanbieding

1 maand voor € 1

Daarna € 9,99 / maandElk moment opzegbaar.

Phone screen with podimo app open surrounded by emojis

Meer dan 1 miljoen luisteraars

Je zult van Podimo houden en je bent niet de enige

4.7 sterren in de App Store

Over 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 afleveringen

25 afleveringen
episode 25 - Theorie der Programmierung 2018 artwork
25 - Theorie der Programmierung 2018

11 jul 2018 - 1 h 23 min
episode 24 - Theorie der Programmierung 2018 artwork
24 - Theorie der Programmierung 2018

08 jul 2018 - 1 h 25 min
episode 23 - Theorie der Programmierung 2018 artwork
23 - Theorie der Programmierung 2018

04 jul 2018 - 1 h 25 min
episode 22 - Theorie der Programmierung 2018 artwork
22 - Theorie der Programmierung 2018

01 jul 2018 - 1 h 33 min
episode 21 - Theorie der Programmierung 2018 artwork
21 - Theorie der Programmierung 2018

Kodaten

27 jun 2018 - 1 h 27 min
Super app. Onthoud waar je bent gebleven en wat je interesses zijn. Heel veel keuze!
- Djess
App Store
Super app. Onthoud waar je bent gebleven en wat je interesses zijn. Heel veel keuze!
- Djess
App Store
Makkelijk in gebruik!
- eertje68
App Store
App ziet er mooi uit, navigatie is even wennen maar overzichtelijk.
- Stienus
App Store
Phone screen with podimo app open surrounded by emojis

Meer dan 1 miljoen luisteraars

Je zult van Podimo houden en je bent niet de enige

4.7 sterren in de App Store

Tijdelijke aanbieding

1 maand voor € 1

Daarna € 9,99 / maandElk moment opzegbaar.

Exclusieve podcasts

Advertentievrij

Gratis podcasts

Luisterboeken

20 uur / maand

Begin hier

Alleen bij Podimo

HELD IN EIGEN VERHAALGeuze & Gorgels ExtraMan man man, de podcastZelfspodcastDe Stijn, Tobi en Jeppe ShowAlle Geschiedenis OoitVeroordeeldNarco's in NederlandBankzitters: Achter de SchermenMoordcast

Populaire luisterboeken

LeegteAllemaal hoerenDedicationDe moord op Roos LandgraafTien dagen TinderKomt een dokter bij de dokterVerminkte toekomstDe Toscaanse erfenisErotische verhalenbundelGraf 521OogvochtIk beloof niksIn onschuldNederlandse geschiedenisMijn jeugd vermoordDe ontvoeringMoeder is boosMoordzomerOp zoek naar DawidDe poldermoordenDe zaak BormanDe weduweHalsoverkopGetekend door een sekte