Изменения

Перейти к: навигация, поиск

M-сводимость

178 байт добавлено, 18:56, 18 января 2014
Нет описания правки
== Литература ==
* [http://en.wikipedia.org/wiki/Many-one_reduction Wikipedia — Many-one reduction]* [http://en.wikipedia.org/wiki/Turing_reduction Wikipedia — Turing reduction]* ''Верещагин Н., Шень А.'' — '''Вычислимые функции''', 2-е изд. МЦНМО, 2002, стр. 64. ISBN 5-900916-36-7
* ''P. Odifreddi'' — '''Classical recursion theory'''. Elsivier, 1992. ISBN 0-444-87295-7
{{Заголовок со строчной буквы}}
418
правок

Навигация