Theorie der Programmierung 2018 (QHD 1920)

Follow Theorie der Programmierung 2018 (QHD 1920)
Share on
Copy link to clipboard

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…

Prof. Dr. Lutz Schröder

  • Jul 11, 2018 LATEST EPISODE
  • infrequent NEW EPISODES
  • 1h 21m AVG DURATION
  • 24 EPISODES


Search for episodes from Theorie der Programmierung 2018 (QHD 1920) with a specific topic:

Latest episodes from Theorie der Programmierung 2018 (QHD 1920)

25 - Theorie der Programmierung 2018

Play Episode Listen Later Jul 11, 2018 83:19


24 - Theorie der Programmierung 2018

Play Episode Listen Later Jul 8, 2018 85:58


23 - Theorie der Programmierung 2018

Play Episode Listen Later Jul 4, 2018 85:01


21 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 27, 2018 87:59


20 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 24, 2018 80:55


kodaten
19 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 20, 2018 82:03


18 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 17, 2018 82:04


kodaten
17 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 13, 2018 76:04


16 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 10, 2018 83:30


15 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 6, 2018 82:28


14 - Theorie der Programmierung 2018

Play Episode Listen Later Jun 3, 2018 80:51


13 - Theorie der Programmierung 2018

Play Episode Listen Later May 27, 2018 79:05


church-rosser
12 - Theorie der Programmierung 2018

Play Episode Listen Later May 23, 2018 68:46


11 - Theorie der Programmierung 2018

Play Episode Listen Later May 16, 2018 88:48


10 - Theorie der Programmierung 2018

Play Episode Listen Later May 13, 2018 72:26


9 - Theorie der Programmierung 2018

Play Episode Listen Later May 6, 2018 83:15


8 - Theorie der Programmierung 2018

Play Episode Listen Later May 2, 2018 81:10


7 - Theorie der Programmierung 2018

Play Episode Listen Later Apr 29, 2018 64:06


lambda church-rosser
6 - Theorie der Programmierung 2018

Play Episode Listen Later Apr 25, 2018 65:05


paar kritisches newmans lemma normalform konfluenz church-rosser
5 - Theorie der Programmierung 2018

Play Episode Listen Later Apr 22, 2018 85:56


paar kritisches newmans lemma normalform konfluenz church-rosser
4 - Theorie der Programmierung 2018

Play Episode Listen Later Apr 18, 2018 82:57


3 - Theorie der Programmierung 2018

Play Episode Listen Later Apr 15, 2018 88:43


2 - Theorie der Programmierung 2018

Play Episode Listen Later Apr 11, 2018 89:38


1 - Theorie der Programmierung 2018

Play Episode Listen Later Apr 8, 2018 84:54


Claim Theorie der Programmierung 2018 (QHD 1920)

In order to claim this podcast we'll send an email to with a verification link. Simply click the link and you will be able to edit tags, request a refresh, and other features to take control of your podcast page!

Claim Cancel