171
правка
Изменения
м
Нет описания правки
Есть мнение, что эту теорему надо оформить как теорему.
* Done --[[Участник:Shevchen|Дмитрий Шевченко]] 13:46, 3 июня 2012 (GST)
В первой же строке явно просится ссылка на P.
Ссылка на NP-полноту SAT'а.
Ссылка на сведение.
* Done --[[Участник:Shevchen|Дмитрий Шевченко]] 13:57, 3 июня 2012 (GST)
Про функции не понял. Чем они от машин отличаются? Типа, могут быть невычислимы (тогда надо это явно указать)?
