Theorie der Programmierung 2018 (Audio)

Theorie der Programmierung 2018 (Audio)

Episoden

25 - Theorie der Programmierung 2018
1 Stunde 23 Minuten
24 - Theorie der Programmierung 2018
1 Stunde 25 Minuten
23 - Theorie der Programmierung 2018
1 Stunde 25 Minuten
21 - Theorie der Programmierung 2018
1 Stunde 27 Minuten
20 - Theorie der Programmierung 2018
1 Stunde 20 Minuten

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