Theorie der Programmierung

Podcast de Prof. Dr. Lutz Schröder

alemán

Technology

Oferta limitada

2 meses por 1 €

Después 4,99 € / mesCancela cuando quieras.

20 horas de audiolibros / mes
Podcasts exclusivos
Podcast gratuitos

Empezar

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

Soy muy de podcasts. Mientras hago la cama, mientras recojo la casa, mientras trabajo… Y en Podimo encuentro podcast que me encantan. De emprendimiento, de salid, de humor… De lo que quiera! Estoy encantada 👍

MI TOC es feliz, que maravilla. Ordenador, limpio, sugerencias de categorías nuevas a explorar!!!

Me suscribi con los 14 días de prueba para escuchar el Podcast de Misterios Cotidianos, pero al final me quedo mas tiempo porque hacia tiempo que no me reía tanto. Tiene Podcast muy buenos y la aplicación funciona bien.

App ligera, eficiente, encuentras rápido tus podcast favoritos. Diseño sencillo y bonito. me gustó.

contenidos frescos e inteligentes

La App va francamente bien y el precio me parece muy justo para pagar a gente que nos da horas y horas de contenido. Espero poder seguir usándola asiduamente.

Elige tu suscripción