Theorie der Programmierung

Por: Prof. Dr. Lutz Schröder

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

21 episodios disponibles

Neueste Folgen des Podcasts Theorie der Programmierung

Theorie der Programmierung 08/04/2018

Theorie der Programmierung 11/04/2018

Theorie der Programmierung 15/04/2018

Theorie der Programmierung 18/04/2018

Theorie der Programmierung 22/04/2018

Theorie der Programmierung 25/04/2018

Theorie der Programmierung 29/04/2018

Theorie der Programmierung 02/05/2018

Theorie der Programmierung 06/05/2018

Theorie der Programmierung 13/05/2018

Theorie der Programmierung 16/05/2018

Theorie der Programmierung 23/05/2018

Theorie der Programmierung 27/05/2018

Theorie der Programmierung 03/06/2018

Theorie der Programmierung 06/06/2018

Theorie der Programmierung 10/06/2018

Theorie der Programmierung 13/06/2018

Theorie der Programmierung 17/06/2018

Theorie der Programmierung 20/06/2018

Theorie der Programmierung 24/06/2018

1 2 Weiter Última »

Theorie der Programmierung

Neueste Folgen des Podcasts Theorie der Programmierung

Danke

Podcasts Activos