Coverbild der Sendung Theorie der Programmierung

Theorie der Programmierung

Podcast von Prof. Dr. Lutz Schröder

Deutsch

Techno​logie

Loslegen

Begrenztes Angebot

2 Monate für 1 €

Dann 4,99 € / MonatJederzeit kündbar.

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

Mehr 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 dein Abonnement

Am beliebtesten

Begrenztes Angebot

Premium

20 Stunden Hörbücher

  • Podcasts nur bei Podimo

  • Keine Werbung in Podimo Podcasts

  • Jederzeit kündbar

2 Monate für 1 €
Dann 4,99 € / Monat

Loslegen

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 KindDie MichalskisReise 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)The Deal – Reine VerhandlungssacheDie perfekte Tochter | Thriller Hörbuch (Ungekürzt)The Score – Mitten ins HerzFriesenkunst: Band 1 - 14 - Die große FriesensagaDas Haus meiner Schwester, Band (Ungekürzt)Die Brüder (Ungekürzt)The Mistake – Niemand ist perfektHighland FlowerDie perfekte NachbarinDunkle SühneIm Haus meiner MutterTäuschungIch will dies, das und dich (Ungekürzte Lesung)Don't believe her: Die Fremde unter deinem DachDie große "Verliebt in Eden Bay"–Box (Band 1–10)Stallen's Academy of Magic / Magic Academy - Gesamtausgabe (1-9)Das Spielhaus (Ungekürzt)Die Schwägerin - Thriller (Ungekürzt)Highland DreamDas Ungeheuer in unsHeated Rivalry | Das Hörbuch zur kanadischen Serie jetzt auf Deutsch - Game Changers, Band 2 (Ungekürzt)The Goal – Jetzt oder nieThis could be love - Roman - Hawaii Love, Band 1 (Ungekürzte Lesung)

Häufig gestellte Fragen

Weitere Fragen und Antworten
Weitere Fragen und Antworten
Loslegen

2 Monate für 1 €. Dann 4,99 € / Monat. Jederzeit kündbar.