Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Математическая логика и теория алгоритмов (90

..pdf
Скачиваний:
12
Добавлен:
15.11.2022
Размер:
1.04 Mб
Скачать

199. При построении частично-рекурсивной функции при применении

оператора минимизации уравнение f n x , x

2

,...,x

, y, x

,...,x

n

x решается

1

i 1

i 1

 

i

подбором.

200. Тезис Черча - каждая интуитивно вычислимая функция является частично-рекурсивной.

41

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]