Berekenbaarheidstheorie Delft University of Technology

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 berekenbaarheidstheorie. Tijdens het college worden de belangrijke begrippen en technieken uit dit gebied geïntroduceerd: diagonalisatie, Turingmachines, niet-determinisme, opsombaarheid, beslisbaarheid, berekenbaarheid, reductie en 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 berekenbaarheidstheorie. Tijdens het college worden de belangrijke begrippen en technieken uit dit gebied geïntroduceerd: diagonalisatie, Turingmachines, niet-determinisme, opsombaarheid, beslisbaarheid, berekenbaarheid, reductie en 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 berekenbaarheidstheorie. Tijdens het college worden de belangrijke begrippen en technieken uit dit gebied geïntroduceerd: diagonalisatie, Turingmachines, niet-determinisme, opsombaarheid, beslisbaarheid, berekenbaarheid, reductie en 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 berekenbaarheidstheorie. Tijdens het college worden de belangrijke begrippen en technieken uit dit gebied geïntroduceerd: diagonalisatie, Turingmachines, niet-determinisme, opsombaarheid, beslisbaarheid, berekenbaarheid, reductie en recursiestelling.

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 Problem is presented. The acceptance problem is introduced and its undecidability is demonstrated. Here the notion of Universal Turing Machine is (implicitly) used: a Turing machine can execute programmes stored with their application data on its input tape."

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, regular languages, grammars, context-free grammars, context-free languages and Chomsky normal form."