Theorie der Programmierung

Podcast de Prof. Dr. Lutz Schröder

alemán

Technology

Empieza 7 días de prueba

$99 / mes después de la prueba.Cancela cuando quieras.

20 horas de audiolibros al mes
Podcasts solo en Podimo
Podcast gratuitos

Prueba gratis

Acerca de Theorie der Programmierung

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

Todos los episodios

25 episodios

25 - Theorie der Programmierung 2018

11 de jul de 2018 - 1 h 23 min

24 - Theorie der Programmierung 2018

8 de jul de 2018 - 1 h 25 min

23 - Theorie der Programmierung 2018

4 de jul de 2018 - 1 h 25 min

22 - Theorie der Programmierung 2018

1 de jul de 2018 - 1 h 33 min

21 - Theorie der Programmierung 2018

Kodaten

27 de jun de 2018 - 1 h 27 min

Muy buenos Podcasts , entretenido y con historias educativas y divertidas depende de lo que cada uno busque. Yo lo suelo usar en el trabajo ya que estoy muchas horas y necesito cancelar el ruido de al rededor , Auriculares y a disfrutar ..!!

Fantástica aplicación. Yo solo uso los podcast. Por un precio módico los tienes variados y cada vez más.

Me encanta la app, concentra los mejores podcast y bueno ya era ora de pagarles a todos estos creadores de contenido

Elige tu suscripción