Содержание
- 2. Алгоритмический процесс можно рассматривать как процесс вычисления значений некоторой функции f Такие функции называются вычислимыми
- 3. Интуитивное понятие вычислимой функции заменим на точное понятие частично рекурсивной функции
- 4. Рассмотрим некоторый набор простейших функций, вычислимость которых очевидна Простейшие функции Простейшими функциями называются следующие арифметические функции:
- 5. Замечание Вычислимость функции проецирования обеспечивается нашей способностью найти в строке (x1, x2, … , xn) место
- 6. Пусть заданы арифметические функции: f1(x1, x2, … , xn), f2(x1, x2, … , xn), …, fm(x1,
- 7. Пример 1 Операция подстановки (суперпозиции)
- 8. Пример 1 Операция подстановки (суперпозиции)
- 9. Правильное применение суперпозиции: необходимо соблюдать требования к набору аргументов каждой функции Операция подстановки (суперпозиции)
- 10. Пример 1 Операция подстановки (суперпозиции) Преобразуем функции f1 и f2 так, чтобы они удовлетворяли требованиям к
- 11. Замечание Такое применение функции проецирования предложил К.Гёдель (1934) Все функции fi, i = 1,…m зависят от
- 12. Добиться выполнение условия на количество аргументов у функций можно введением фиктивных переменных и применения функции проецирования
- 14. Скачать презентацию