Berekenbaarheidstheorie Podcast
1) Berekenbaarheidstheorie: recursiestelling
TI2320 (IN2505-II). Berekenbaarheidstheorie. De centrale vraag van dit college is "Welke berekeningen kunnen in principe op een computer worden uitgevoerd?" Deze vraag behoort tot het domein van de be...Show More
2) Berekenbaarheidstheorie: reduceerbaarheid (3)
TI2320 (IN2505-II). Berekenbaarheidstheorie. De centrale vraag van dit college is "Welke berekeningen kunnen in principe op een computer worden uitgevoerd?" Deze vraag behoort tot het domein van de be...Show More
3) Berekenbaarheidstheorie: reduceerbaarheid (2)
TI2320 (IN2505-II). Berekenbaarheidstheorie. De centrale vraag van dit college is "Welke berekeningen kunnen in principe op een computer worden uitgevoerd?" Deze vraag behoort tot het domein van de be...Show More
4) Berekenbaarheidstheorie: reduceerbaarheid (1)
TI2320 (IN2505-II). Berekenbaarheidstheorie. De centrale vraag van dit college is "Welke berekeningen kunnen in principe op een computer worden uitgevoerd?" Deze vraag behoort tot het domein van de be...Show More
5) Beslisbare problemen, het Stopprobleem en de onbelisbaarheid ervan, en Universele Turingmachines
TI2320 (IN2505-II). Berekenbaarheidstheorie. "Some decidability results concerning finite automata and context-free languages are discussed. An informal proof of the undecidability of the Halting Pro...Show More
6) Voorkennis - Automaten en Talen
TI2320 (IN2505-II). Berekenbaarheidstheorie. "This module captures some important preliminaries to the course. These include the notions of deterministic and non-deterministic finite state automata, ...Show More
7) Oneindigheid, Hotel Hilbert, en aftelbare en overaftelbare verzamelingen
TI2320 (IN2505-II). Berekenbaarheidstheorie. "Hotel Hilbert is a story of infinity and how to calculate with countable, infinite sets. Cantor's proof of the uncountability of the set of real numbers ...Show More
Oneindigheid, Hotel Hilbert, en aftelbare en overaftelbare verzamelingen
1:29:02 | Apr 24th, 2009
8) Het Entscheidungsproblem, de Church-Turing these en het coderen van Turingmachines en problemen
TI2320 (IN2505-II). Berekenbaarheidstheorie. "Hilbert's Entscheidungsproblem is undecidable! The common belief that the intuitive notion of computability is adequately modelled by the formal notion o...Show More
9) Opsommers en het 10e probleem van Hilbert
TI2320 (IN2505-II). Berekenbaarheidstheorie. "Enumerability is introduced as an alternative to recognisability: the Turing machine as an enumerator instead of as a recogniser. The proof of equivalenc...Show More
10) Niet-deterministische Turingmachines en hun equivalentie met gewone Turingmachines
TI2320 (IN2505-II). Berekenbaarheidstheorie. "The notions of decidability and recognisability for non-deterministic Turing machines are defined. König's Lemma is explained and its use is shown in the...Show More
Niet-deterministische Turingmachines en hun equivalentie met gewone Turingmachines
1:26:10 | Apr 17th, 2009