Theorie der Programmierung Series ID:656

Theorie der Programmierung Series ID:656

Podcast by Prof. Dr. Lutz Schröder

Rajoitettu tarjous

2 kuukautta hintaan 1 €

Sitten 9,99 € / kuukausiPeru milloin tahansa.

Phone screen with podimo app open surrounded by emojis

Enemmän kuin miljoona kuuntelijaa

Tulet rakastamaan Podimoa, etkä ole ainoa

Arvioitu 4.7 App Storessa

Lisää Theorie der Programmierung Series ID:656

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

Kaikki jaksot

25 jaksot
episode 25 - Theorie der Programmierung 2018 artwork
25 - Theorie der Programmierung 2018

11.7.2018 - 1 h 23 min
episode 24 - Theorie der Programmierung 2018 artwork
24 - Theorie der Programmierung 2018

08.7.2018 - 1 h 25 min
episode 23 - Theorie der Programmierung 2018 artwork
23 - Theorie der Programmierung 2018

04.7.2018 - 1 h 25 min
episode 22 - Theorie der Programmierung 2018 artwork
22 - Theorie der Programmierung 2018

01.7.2018 - 1 h 33 min
episode 21 - Theorie der Programmierung 2018 artwork
21 - Theorie der Programmierung 2018

Kodaten

27.6.2018 - 1 h 27 min
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Laura
App Store
Loistava design ja vihdoin on helppo löytää podcasteja, joista oikeasti tykkää
Laura
App Store
Kiva sovellus podcastien kuunteluun, ja sisältö on monipuolista ja kiinnostavaa
Martin
App Store
Todella kiva äppi, helppo käyttää ja paljon podcasteja, joita en tiennyt ennestään.
Podcast4life
App Store
Phone screen with podimo app open surrounded by emojis

Enemmän kuin miljoona kuuntelijaa

Tulet rakastamaan Podimoa, etkä ole ainoa

Arvioitu 4.7 App Storessa

Rajoitettu tarjous

2 kuukautta hintaan 1 €

Sitten 9,99 € / kuukausiPeru milloin tahansa.

Podimon podcastit

Mainoksista vapaa

Maksuttomat podcastit

Äänikirjat

20 tuntia / kk

Aloita nyt

Vain Podimossa

Sana on vapaaAki Linnanahde Talk ShowSaatan olla väärässäkinHanna TikanderTABUCÄSTValo PimiässäMurha joka tapahtuiMurhakertomuksiaMartina & EskoGaala

Suosittuja äänikirjoja

Läsnäolon voimaSeijaJarmo KoskiÄlykäs intuitioSano, että rakastat minuaHyväntekijä100 päivääAmerikkalainen painajainenRentoutus kohti mielenrauhaaMuurarin pojasta miljonääriksiVyöryHarhautusHehkuKarmaIf love 2: Jos aurinko ei laskeNäin päästin perheeni päiviltäPäästä minutMunametsäSirkusprinsessaTwisted 4: ValheetKatso minuun pienehenIf love 1: Jos vielä kohtaammeMinne katse ei kannaMiljoona kuplaa