Kostenloser Podcast
Theorie der Programmierung 2018 (Audio)
Podcast von Prof. Dr. Lutz Schröder
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
Diesen Podcast kannst du überall hören, wo es Podcasts gibt und auch ohne Mitgliedschaft in der Podimo App.
Alle Folgen
25 Folgen25 - Theorie der Programmierung 2018
11. Juli 2018 - 1 h 23 min
24 - Theorie der Programmierung 2018
08. Juli 2018 - 1 h 25 min
23 - Theorie der Programmierung 2018
04. Juli 2018 - 1 h 25 min
22 - Theorie der Programmierung 2018
01. Juli 2018 - 1 h 33 min
21 - Theorie der Programmierung 2018
Kodaten
27. Juni 2018 - 1 h 27 min
Der neue Look und die “Trailer” sind euch verdammt gut gelungen! Die bisher beste Version eurer App 🎉 Und ich bin schon von Anfang an dabei 😉 Weiter so 👍
Eine wahnsinnig große, vielfältige Auswahl toller Hörbücher, Autobiographien und lustiger Reisegeschichten. Ein absolutes Muss auf der Arbeit und in unserem Urlaub am Strand nicht wegzudenken... für uns eine feine Bereicherung
Spannende Hörspiele und gute Podcasts aus Eigenproduktion, sowie große Auswahl. Die App ist übersichtlich und gut gestaltet. Der Preis ist fair.
Nutze Podimo überall
Höre Podimo auf deinem Smartphone, Tablet, Computer oder im Auto!
Ein ganzes Universum für Unterhaltung für die Ohren
Tausende Hörbücher und exklusive Podcasts
Ohne Werbung
Verschwende keine Zeit mit Werbeunterbrechungen, wenn du bei Podimo hörst
Dein Angebot
Unbegrenzter Zugang zu allen exklusiven Podcasts
Ohne Werbung
20 Stunden Hörbücher / Monat
Nach der Testphase nur 4,99 € / Monat. Keine Vertragsbindung.