
Theorie der Programmierung Series ID:656
Podcast af Prof. Dr. Lutz Schröder
Begrænset tilbud
1 måned kun 9 kr.
Derefter 99 kr. / månedIngen binding.

Mere end 1 million lyttere
Du vil elske Podimo, og du er ikke alene
Bedømt til 4,7 stjerner i App Store
Læs mere 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 episoder
25 episoder




Kodaten

Mere end 1 million lyttere
Du vil elske Podimo, og du er ikke alene
Bedømt til 4,7 stjerner i App Store
Begrænset tilbud
1 måned kun 9 kr.
Derefter 99 kr. / månedIngen binding.
Eksklusive podcasts
Uden reklamer
Gratis podcasts
Lydbøger
20 timer / måned