Skip to content
PodParley
Theorie der Programmierung podcast artwork

PODCAST · education

Theorie der Programmierung

by 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

Publisher-supplied feed metadata · PodParley refreshed Apr 15, 2026 · Source feed

Subscribe · 0 Bookmark

Episodes

  1. Theorie der Programmierung

    Kodaten

  2. Theorie der Programmierung

    Kodaten

  3. Theorie der Programmierung

    Kodaten

  4. Theorie der Programmierung

    Kodaten

  5. Theorie der Programmierung

    Kodaten

  6. Theorie der Programmierung

    Theorie der Programmierung

  7. Theorie der Programmierung

    Theorie der Programmierung

  8. Theorie der Programmierung

    Theorie der Programmierung

  9. Theorie der Programmierung

    Theorie der Programmierung

  10. Theorie der Programmierung

    Theorie der Programmierung

  11. Theorie der Programmierung

    Theorie der Programmierung

  12. Theorie der Programmierung

    Theorie der Programmierung

  13. Theorie der Programmierung

    Theorie der Programmierung

  14. Theorie der Programmierung

    Theorie der Programmierung

  15. Theorie der Programmierung

    Theorie der Programmierung

  16. Theorie der Programmierung

    Theorie der Programmierung

  17. Theorie der Programmierung

    Theorie der Programmierung

  18. Theorie der Programmierung

    Theorie der Programmierung

  19. Theorie der Programmierung

    Theorie der Programmierung

  20. Theorie der Programmierung

    Theorie der Programmierung

  21. Theorie der Programmierung

    Theorie der Programmierung

  22. Theorie der Programmierung

    Theorie der Programmierung

  23. Theorie der Programmierung

    Theorie der Programmierung

  24. Theorie der Programmierung

    Theorie der Programmierung

  25. Theorie der Programmierung

    Theorie der Programmierung

  26. Theorie der Programmierung

    Theorie der Programmierung

Type above to search every episode's transcript for a word or phrase. Matches are scoped to this podcast.

Searching…

We're indexing this podcast's transcripts for the first time — this can take a minute or two. We'll show results as soon as they're ready.

No matches for "" in this podcast's transcripts.

Showing of matches

No topics indexed yet for this podcast.

Loading reviews...

ABOUT THIS SHOW

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

HOSTED BY

Prof. Dr. Lutz Schröder

CATEGORIES

education

Frequently Asked Questions

How many episodes does Theorie der Programmierung have?

Theorie der Programmierung currently has 26 episodes available on PodParley. New episodes are automatically indexed when they're published to the podcast feed.

What is Theorie der Programmierung about?

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...

How often does Theorie der Programmierung release new episodes?

Theorie der Programmierung has 26 episodes. Check the episode list to see recent publication dates and frequency.

Where can I listen to Theorie der Programmierung?

You can listen to Theorie der Programmierung on PodParley by clicking any episode. We provide an embedded audio player for direct listening, and you can also subscribe via your preferred podcast app using the RSS feed.

Who hosts Theorie der Programmierung?

Theorie der Programmierung is created and hosted by Prof. Dr. Lutz Schröder.
URL copied to clipboard!