Omslagafbeelding van de show Theorie der Programmierung

Theorie der Programmierung

Podcast door Prof. Dr. Lutz Schröder

Duits

Technology

Probeer 14 dagen gratis

€ 9,99 / maand na proefperiode.Elk moment opzegbaar.

  • 20 uur luisterboeken / maand
  • Podcasts die je alleen op Podimo hoort
  • Gratis podcasts
Probeer gratis

Over 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

Alle afleveringen

25 afleveringen

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

Meest populair

Premium

20 uur aan luisterboeken

  • Podcasts die je alleen op Podimo hoort

  • Geen advertenties in Podimo shows

  • Elk moment opzegbaar

Probeer 14 dagen gratis
Daarna € 9,99 / maand

Probeer gratis

Premium Plus

Onbeperkt luisterboeken

  • Podcasts die je alleen op Podimo hoort

  • Geen advertenties in Podimo shows

  • Elk moment opzegbaar

Probeer 14 dagen gratis
Daarna € 13,99 / maand

Probeer gratis

Alleen bij Podimo

VrouwmiboZware JongensFamily BusinessBizar, de podcastBo & Pauline: Genoeg Over OnsDe Stijn, Tobi en Jeppe ShowAaf en Lies, eindelijk gelukkigMoorden in het NoordenHELD IN EIGEN VERHAALFred en RiesDe BenniesRadio OranjeOoggetuigenAlle Geschiedenis OoitBankzitters: Achter de SchermenKibbelingGeuze & Gorgels ExtraReality Check - Married at First SightDe Nummer 1 Aller TijdenZelfspodcastDe HippiemoordVeroordeeldMoordcastDijkhoff & Segers

Populaire luisterboeken

Verminkte toekomstProject D.I.N.O.De poldermoordenWaarheid in AndalusiëZonder spijtDrie jaar cel en TBSHalsoverkopVerzwegenAletta JacobsDodelijk algoritmeBitterzoetGetekend door een sekteDe Toscaanse erfenisIn onschuldErotische verhalenbundelVuurdoodDe BucketlistHet kustpadMoederdierDossier vermissingMoeder is boosGraf 521Moord in DuinwijckMijn jeugd vermoord

Veelgestelde vragen

Meer vragen & antwoorden
Meer vragen & antwoorden
Probeer gratis

Probeer 14 dagen gratis. € 9,99 / maand na proefperiode. Elk moment opzegbaar.