24 Folgen

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

Theorie der Programmierung 2018 (QHD 1920) Friedrich-Alexander-Universität Erlangen-Nürnberg

    • Bildung

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

    • video
    1 - Theorie der Programmierung 2018

    1 - Theorie der Programmierung 2018

    Theorie der Programmierung

    • 1 Std. 24 Min.
    • video
    2 - Theorie der Programmierung 2018

    2 - Theorie der Programmierung 2018

    Theorie der Programmierung

    • 1 Std. 29 Min.
    • video
    3 - Theorie der Programmierung 2018

    3 - Theorie der Programmierung 2018

    Theorie der Programmierung

    • 1 Std. 28 Min.
    • video
    4 - Theorie der Programmierung 2018

    4 - Theorie der Programmierung 2018

    Theorie der Programmierung

    • 1 Std. 22 Min.
    • video
    5 - Theorie der Programmierung 2018

    5 - Theorie der Programmierung 2018

    Theorie der Programmierung

    • 1 Std. 25 Min.
    • video
    6 - Theorie der Programmierung 2018

    6 - Theorie der Programmierung 2018

    Theorie der Programmierung

    • 1 Std. 5 Min.

Top‑Podcasts in Bildung

Mehr von Friedrich-Alexander-Universität Erlangen-Nürnberg