Формально об алгоритмах. Вычислительные модели/Задачи/ex-unsolvable-exists
Материал из DISCOPAL
< Формально об алгоритмах. Вычислительные модели | Задачи
Версия от 01:33, 26 декабря 2014; StasFomin (обсуждение | вклад)
Докажите, что существуют невычислимые по Тьюрингу функции y=f(x), используя мощностные соображения.
[ Хронологический вид ]Комментарии
Войдите, чтобы комментировать.