Изменения

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

Частично рекурсивные функции

61 байт добавлено, 16:44, 15 января 2017
Основные определения
== Основные определения ==
Рассмотрим следующее правило преобразования функций:* Рассмотрим <tex> k+1 </tex>-местную функцию <tex> f(x_1,\ldots,x_k,y) </tex>. Тогда после преобразования у нас появится <tex> k </tex> - местная функция <tex> g(x_1,\ldots,x_k) = </tex> минимальное <tex> y </tex> при котором <tex> f(x_1,\ldots,x_k,y) = 0 </tex>. : Это правило называется '''правилом минимизации ''' и часто для него используют обозначения <tex> g(x_1,\ldots,x_k) = \mu y (f(x_1,\ldots,x_k,y) = 0) </tex> . Также отметим, что в дальнейшем мы будем сравнивать значение функции не только с нулем.
{{Определение
|definition=
Анонимный участник

Навигация