Theorie der Programmierung Series ID:656

Theorie der Programmierung Series ID:656

Podkast av Prof. Dr. Lutz Schröder

Tidsbegrenset tilbud

1 Måned for 9 kr

Deretter 99 kr / MånedAvslutt når som helst.

Phone screen with podimo app open surrounded by emojis

Mer enn 1 million lyttere

Du vil elske Podimo, og du er ikke alene

Vurdert til 4,7 stjerner i App Store

Les mer 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 episoder

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

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

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

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

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

Kodaten

27. juni 2018 - 1 h 27 min
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Småbarnsmoren
App Store
Enkelt å finne frem nye favoritter og lett å navigere seg gjennom innholdet i appen
Småbarnsmoren
App Store
Liker at det er både Podcaster (godt utvalg) og lydbøker i samme app, pluss at man kan holde Podcaster og lydbøker atskilt i biblioteket.
Karina Raava
App Store
Bra app. Oversiktlig og ryddig. MYE bra innhold⭐️⭐️⭐️
Vibvet
App Store
Phone screen with podimo app open surrounded by emojis

Mer enn 1 million lyttere

Du vil elske Podimo, og du er ikke alene

Vurdert til 4,7 stjerner i App Store

Tidsbegrenset tilbud

1 Måned for 9 kr

Deretter 99 kr / MånedAvslutt når som helst.

Eksklusive podkaster

Uten reklame

Gratis podkaster

Lydbøker

20 timer i måneden

Kom i gang

Bare på Podimo

Råning med ToneBerrum & Beyer snakker om greierG-PunktetSøstrene TallingÅpen journal med Katarina og HaraldMørk MedisinFødselspoddenJanka og MarteFetisha +1Bagateller

Populære lydbøker

Legens enkeParet i hyttaFeriehyttaEktemannens hemmelighetFyrvokterenSektenPanserhjerteSkilsmissenKongeriketTakk, bare braHjem til megBak lukkede dørerÅ isbade blant fjelleneEt liv forbiOrderudTa meg tilbakeHekta på et håp om kjærlighetMirageLøvetemmerenHjerteråteI dine skoKuppetKnivNøkkelvitnet