Theorie der Programmierung Series ID:656
Deutsch
Gratis en Podimo
Kostenlos hören bei Podimo
Starte jetzt und verbinde dich mit deinen Lieblingspodcaster*innen
- Vertraut von über 1 Mio. deutschen Hörer*innen
- Über 1.000 lokale Podcasts und Shows – nur bei Podimo
- Keine Zahlung nötig
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
25 - 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
Super gut, sehr abwechslungsreich Podimo kann man nur weiterempfehlen
Super gut, sehr abwechslungsreich Podimo kann man nur weiterempfehlen
Ich liebe Podcasts, Hörbücher u. -spiele, Dokus usw. Hier habe ich genügend Auswahl. Macht 👍 weiter so
Nur bei Podimo
Beliebte Hörbücher
