Cover image of show Theorie der Programmierung Series ID:656

Theorie der Programmierung Series ID:656

Podcast door Prof. Dr. Lutz Schröder

Duits

Education

Begin hier

Tijdelijke aanbieding

2 maanden voor € 1

Daarna € 9,99 / maandElk moment opzegbaar.

  • 20 uur luisterboeken / maand
  • Podcasts die je alleen op Podimo hoort
  • Gratis podcasts
Begin hier

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

Kies je abonnement

Tijdelijke aanbieding

Premium

20 uur aan luisterboeken

  • Podcasts die je alleen op Podimo hoort

  • Gratis podcasts

  • Elk moment opzegbaar

2 maanden voor € 1
Daarna € 9,99 / maand

Begin hier

Premium Plus

Onbeperkt luisterboeken

  • Podcasts die je alleen op Podimo hoort

  • Gratis podcasts

  • Elk moment opzegbaar

Probeer 30 dagen gratis
Daarna € 11,99 / maand

Probeer gratis

Alleen bij Podimo

Dijkhoff & SegersNarco's in NederlandDe zeven levens van BettyGeuze & Gorgels ExtraFred en RiesZware JongensMoordcastHELD IN EIGEN VERHAAL

Populaire luisterboeken

De BucketlistDe moord op Roos LandgraafHet is ingewikkeldGesluierde jarenEen andere waarheidGetekend door een sekteAletta JacobsDaar gaat de bruidDe zaak BormanLiefde en bedrogDe laatste getuigeZonder spijtFatale zoektochtMijn jeugd vermoordLiefde op TexelWaar blijf jeZeeroversDrie jaar cel en TBSDe dochter van Maria KalkmanIn onschuldSatans driehoekDodenmisTypisch Nederland Typisch Maarten!Allemaal hoeren
Begin hier

2 maanden voor € 1. Daarna € 9,99 / maand. Elk moment opzegbaar.