Computability 2 - NTIN065
|
|
|
||
Last update: T_KTI (20.04.2004)
|
|
||
Last update: T_KTI (23.05.2008)
Naučit další navazující teorii vyčíslitelnosti |
|
||
Last update: T_KTI (29.04.2015)
Soare R. I.: Recursively enumerable sets and degrees. Springer-Verlag, 1987
Odifreddi P.: Classical recursion theory. North-Holland, 1989 |
|
||
Last update: T_KTI (20.04.2004)
Simple sets. Relative computability, T-reducibility. Jump operation, basic properties. Limit computability. Arithmetical hierarchy, basic properties. Applications of the theory of computability. |