
Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Математическая логика и теория алгоритмов (90
..pdf
199. При построении частично-рекурсивной функции при применении
оператора минимизации уравнение f n x , x |
2 |
,...,x |
, y, x |
,...,x |
n |
x решается |
1 |
i 1 |
i 1 |
|
i |
подбором.
200. Тезис Черча - каждая интуитивно вычислимая функция является частично-рекурсивной.
41
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]