Omslagafbeelding van de show Theorie der Programmierung

Theorie der Programmierung

Podcast door Prof. Dr. Lutz Schröder

Duits

Technology

Tijdelijke aanbieding

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

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

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

23 - Theorie der Programmierung 2018

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

22 - Theorie der Programmierung 2018

1 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

Meest populair

Tijdelijke aanbieding

Premium

20 uur aan luisterboeken

  • Podcasts die je alleen op Podimo hoort

  • Geen advertenties in Podimo shows

  • Elk moment opzegbaar

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

Begin hier

Premium Plus

Onbeperkt luisterboeken

  • Podcasts die je alleen op Podimo hoort

  • Geen advertenties in Podimo shows

  • Elk moment opzegbaar

Probeer 30 dagen gratis
Daarna € 11,99 / maand

Probeer gratis

Alleen bij Podimo

Moorden in het NoordenGeuze & Gorgels ExtraBankzitters: Achter de SchermenReality Check - Married at First SightKibbelingKoud Bloed - In de Sekte Gemeente GodsDijkhoff & SegersFamily BusinessMoordcastRadio OranjeDe Magnaat: Freddy HeinekenWie praat, die bestaatBizar, de podcastHELD IN EIGEN VERHAALFred en RiesDe Stijn, Tobi en Jeppe ShowVeroordeeldAaf en Lies pakken doorMan man man, de podcastZware JongensAlle Geschiedenis OoitZelfspodcastDe BenniesVrouwmibo

Populaire luisterboeken

NachtdienstSinds ik niet meer drinkGeen sprake vanBinnen de lijntjesDe moord op mr. Jacques WijsmanRoadtrip ItaliaMoeder is boosLiefde en bedrogVergeldingTien dagen TinderRuimte voor rafelsVuurdoodDe moord op Roos LandgraafMoordzomerDe favoriete zusVerzwegenBitterzoetLied van de lijsterIn onschuldLeegteTypisch Nederland Typisch Maarten!Ik beloof niksDit is niet wat er zal gebeuren.Het kustpad
Begin hier

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