Coverbild der Sendung Theorie der Programmierung

Theorie der Programmierung

Podcast von Prof. Dr. Lutz Schröder

Deutsch

Techno​logie

Teste 30 Tage jetzt kostenlos

30 Tage kostenlos testen

4,99 € / Monat nach der Testphase.Jederzeit kündbar.

  • 20 Stunden Hörbücher / Monat
  • Podcasts nur bei Podimo
  • Alle kostenlosen Podcasts
Kostenlos testen

Über 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 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

Wähle deine Mitgliedschaft

Am beliebtesten

Premium

20 Stunden Hörbücher

  • Podcasts nur bei Podimo

  • Keine Werbung in Podimo Podcasts

  • Jederzeit kündbar

30 Tage kostenlos testen
Dann 4,99 € / monat

Kostenlos testen

Premium Plus

100 Stunden Hörbücher

  • Podcasts nur bei Podimo

  • Keine Werbung in Podimo Podcasts

  • Jederzeit kündbar

30 Tage kostenlos testen
Dann 13,99 € / monat

Kostenlos testen

Nur bei Podimo

Mord am Mittwoch - True Crime12 Leben – Verbrechen an FrauenTruth or Trash - Reality-Stars drehen am RadDie NervigenReich, schön, tot - True CrimeFriends in CrimeDie Harte und der Zarte – mit Panagiota Petridou & Serdar KaribikZychoTrash OfficeBrainpainhalb so wild – Linellas weekly check-inHappy Life mit Jochen SchroppRecall – mit Senna & BaharAm helllichten Tag – Der Fall Peggy KnoblochDer Kids.Doc - Mehr Gesundheit für dein KindFühlen & VerkackenReise in den TodKaltblütig - Die Spur der KillerMenschen und MonsterPolluxtigges trifftunREAL mit Serkan YavuzTutto bene! Mit Giovanni und Stefano Zarrella

Beliebte Hörbücher

Vater.Mutter.Kind. (Ungekürzt)Das Haus meiner Schwester, Band (Ungekürzt)The Deal – Reine VerhandlungssacheThe Score – Mitten ins HerzThe Mistake – Niemand ist perfektFriesenkunst: Band 1 - 14 - Die große FriesensagaDie perfekte Tochter | Thriller Hörbuch (Ungekürzt)The Goal – Jetzt oder nieStallen's Academy of Magic / Magic Academy - Gesamtausgabe (1-9)Die Mutter - Mommy liebt dich über alles ... (Ungekürzt)Die Brüder (Ungekürzt)Das Spielhaus (Ungekürzt)Im Haus meiner MutterEchte Traummänner küssen besserIch will dies, das und dich (Ungekürzte Lesung)Die Akte Tengelmann und das mysteriöse Verschwinden des Milliardärs Karl-Erivan HaubDer Junge - Die Kinder-Reihe, Band 1 (Ungekürzt)Terms of Attraction 1. The Knockout ContractThe Legacy – Endlich erwachsenThe Chase – Gegensätze ziehen sich anMindhunterHighland DreamHighland FlowerDon't believe her: Die Fremde unter deinem Dach

Häufig gestellte Fragen

Weitere Fragen und Antworten
Weitere Fragen und Antworten
Teste 30 Tage jetzt kostenlos

30 Tage kostenlos testen. 4,99 € / Monat nach der Testphase. Jederzeit kündbar.