|
|
|
||
Poslední úprava: T_KTI (29.04.2015)
|
|
||
Poslední úprava: T_KTI (23.05.2008)
Naučit základy vyčíslitelnosti |
|
||
Poslední úprava: RNDr. Jan Hric (07.06.2019)
Ústní zkouška |
|
||
Poslední úprava: T_KTI (29.04.2015)
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
S.B. Cooper. Computability Theory Chapman Hall, 2003
Nies. Computability and randomness, Oxford Logic Guides. Oxford University Press, Oxford, 2009
R. Downey, D. Hirschfeldt. Algorithmic randomness and complexity. Theory and Applications of Computability. Springer, New York, 2010
A. Shen, N. Vereshchagin. Computable functions, Student Mathematical Library, vol. 19, AMS, 2003 |
|
||
Poslední úprava: doc. RNDr. Antonín Kučera, CSc. (09.10.2017)
Zkouška sestává z ústní části. Známka ze zkoušky odpovídá hodnocení ústní části.
Požadavky u ústní zkoušky odpovídají sylabu předmětu v rozsahu, který byl prezentován na přednášce. |
|
||
Poslední úprava: T_KTI (29.04.2015)
Základy vyčíslitelnosti
Relativní vyčíslitelnost
|
|
||
Poslední úprava: T_KTI (29.04.2015)
Znalosti na úrovni přednášky Základy složitosti a vyčíslitelnosti |