Podcaster
Episoden
Über diesen Podcast
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
Kommentare (0)