Изменения

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

Рекурсивные функции

285 байт добавлено, 19:45, 18 января 2013
Основные определения
}}
Заметим, что если <tex> f </tex> {{---}} <tex> n </tex>-местная примитивно рекурсивная функция, то она определена на всем множестве <tex> \mathbb {N}^{n} </tex>, так как f получается путем правил преобразования из всюду определенных функций, и правила преобразование не портят всюду определенность. Говоря не формальным языком, рекурсивные функции напоминают программы, у которых условия останова для всех циклов и рекурсий не зависит от входных данных.
=== Арифметические операции на примитивно рекурсивных функциях ===
Анонимный участник

Навигация