Theorie der Programmierung 2018 (QHD 1920)

Theorie der Programmierung 2018 (QHD 1920)

Ü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)

Lade Inhalte...

Abonnenten

15
15
:
: