![]() |
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Первая отечественная монография по теории вычислимых функций. Содержит как известные к тому времени результаты по этой теории с доказательствами автора, так и собственные неопубликованные ранее результаты автора (в частности, теорему о том, что по программе вычислимой функции нельзя алгоритмически распознать никакого нетривиального свойства вычислимых функций).