Theorie der Programmierung 2018 (Audio)
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 Folgen
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
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.

Andere exklusive Podcasts

Badass Reality – mit Samira & Serkan
Kaltblütig - Die Spur der Killer
Fühl Vergnügen - mit Tahnee & Juliette
Reich, schön, tot - True Crime
Truth or Trash - Reality-Stars drehen am Rad
Die Nervigen
Pollux
Die Pochers! Frisch recycelt
Liebes Leben - mit Amira & Hima
Menschen und Monster

Beliebte Hörbücher

Letzte Lügen (ungekürzt)
Windstärke 17
Im Versteck (ungekürzt)
22 Bahnen
Die große "Verliebt in Eden Bay"-Box (Band 1-10)
Verschwunden (ungekürzt)
Die letzte Nacht (ungekürzt)
Du darfst nicht alles glauben, was du denkst - Meine Depression (Ungekürzte Lesung)
Mein Leben in deinem (Ungekürzte Lesung)
A Place to Love - Cherry Hill, Band 1 (Ungekürzte Lesung)
Der Perser
Zerteilt
Herzklopfen nicht ausgeschlossen
New Beginnings: Roman (Green Valley Love 1)
New Chances: Roman (Green Valley Love 5)
New Horizons: Roman (Green Valley Love 4)
Nur noch ein einziges Mal - It ends with us (Lily, Ryle und Atlas-Reihe 1)
Bridgerton - Der Duke und ich (ungekürzt)
Die falsche Zeugin (ungekürzt)
Die tausend Teile meines Herzens
Der Kindersammler (ungekürzt)
New Wishes
Liebe, Zimt und Zucker
Harry und Meghan: Auf der Suche nach Freiheit