Kostenlos hören
coverImageOf

Theorie der Programmierung Series ID:656

Podcast von Prof. Dr. Lutz Schröder

Deutsch

Gratis en Podimo

Mehr als 1 Million Hörer*innen

Du wirst Podimo lieben und damit bist du nicht allein

Mit 4,7 Sternen im App Store bewertet

Phone screen with podimo app open surrounded by emojis

Mehr 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 Folgen

25 Folgen
Super gut, sehr abwechslungsreich Podimo kann man nur weiterempfehlen
XeniaSoo
App Store
Super gut, sehr abwechslungsreich Podimo kann man nur weiterempfehlen
XeniaSoo
App Store
Ich liebe Podcasts, Hörbücher u. -spiele, Dokus usw. Hier habe ich genügend Auswahl. Macht 👍 weiter so
Nic. H
App Store

Nur bei Podimo

Wildes Leben – Die magische Geschichte von Siegfried & RoyEinschlafen mit True CrimePolluxDie Pochers! Frisch recyceltDoppelgängerinnen-MordSpurlos Vermisst – mit Tom WlaschihaIch habe überlebtTäter und Opfer mit Stephan LucasMit der Würdig – Charlotte redet KlartextIm Bann des BösenDie Liste von absolut wirklich allem, das dich umbringen kannLiebes Leben - mit Amira & HimaDr. Alexander Stevens – Das perfekte VerbrechenunREAL mit Serkan YavuzLose LuderKaltblütig - Die Spur der KillerDer Kids.Doc - Mehr Gesundheit für dein KindMedical Crimes – Mörder in WeißIm Zweifel für den AngeklagtenVerzweifelte Suche – Wenn Menschen verschwindenUNGELÖST - Verbrechen ohne TäterDunkelkammer – Ein True Crime Podcast3Uhr29 – Fitzeks TodesstundeEiskalt – Wahre Verbrechen aus Skandinavien

Beliebte Hörbücher

Tödliche TeenagerDas Blut der OpferDer beste FreundIn der Stunde des TodesDie kleine Pension in Lobster BayDie Tränen des MördersDie Geliebte des MördersDie perfekte NachbarinDie Schuld des BlutesGroße Pläne in Lobster BayDas perfekte LebenDer perfekte ZeugeDas Paar in Hütte 14BlutzeichenJasmin, Rosenblüten & MordDie Familie von nebenanDie GästeDer Kuss des SandmannsDas Erbe von StonehengeEin Sommer im Primrose TowerDie Blumen des TodesPrince of Passion - Nicholas - Die Prince of Passion-Trilogie, Band 1 (Ungekürzte Lesung)Kiss me once [Kiss the Bodyguard-Reihe, Band 1 (Ungekürzt)]Here With Me (ungekürzt)