Vyčíslitelnost 2 - NTIN065
|
|
|
||
Poslední úprava: T_KTI (20.04.2004)
|
|
||
Poslední úprava: T_KTI (23.05.2008)
Naučit další navazující teorii vyčíslitelnosti |
|
||
Poslední úprava: T_KTI (20.04.2004)
Demuth O., Kryl R., Kučera A.: Teorie algoritmů I, II. SPN, 1984, 1989
Soare R. I.: Recursively enumerable sets and degrees. Springer-Verlag, 1987
Odifreddi P.: Classical recursion theory. North-Holland, 1989 |
|
||
Poslední úprava: T_KTI (20.04.2004)
Prosté množiny Relativní vyčíslitelnost, T-převeditelnost. Operace skoku, její význam jako relativizovaného halting problému a její základní vlastnosti. Věta o limitní vyčíslitelnosti. Aritmetická hierarchie. Věta o hierarchii, souvislost s operací skoku. Aplikace teorie vyčíslitelnosti. |