Прикладные словари

Справочные словари

Толковые словари

Жаргонные словари

Гуманитарные словари

Технические словари



Главная Словарь логики Слова на букву Р Рекурсивное Определение

Что такое Рекурсивное Определение? Значение и толкование слова rekursivnoe opredelenie, определение термина


Рекурсивное Определение - (от лат. recurso - возвраща­юсь)  — метод определения арифметической функции φ(у) или пре­диката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения: а + 0 = а,      (1) а + b'=(а+b)' (2) В равенстве (1) говорится, что некоторое фиксированное число а (см.: Параметр) при прибавлении к нему нуля дает число а. В равенстве (2) говорится., что если к некоторому фиксированному числу а добавить число, следующее за некоторым фиксированным числом b (т. е. b', или число b+1), то эта сумма будет равна числу, следующему за суммой чисел а+b. Напр., если к числу 2 добавить число, следующее за числом 3, т. е. число 4, то этот же результат можно получить, сложив 2 и 3 и перейдя от полученной суммы к следующему за ней числу. Значение левой и правой частей равенства в данном случае равно 6. Такого рода функции позволяют вычислять значение суммы самых различных чисел. При этом осуществляется переход от некото­рого числа п к следующему за ним (к п', или п+1), т. е. строится натуральный ряд чисел начиная с нуля. Допустим, нам требуется сло­жить 5 и 2. Тогда число 2 представим как следующее за 1, т. е. как 1'. Итак, имеем: Теперь будем возвращаться от равенства 5+0=5 (в) к равенству (б), а затем к равенству (а). Раз 5+0=5, то (5+0)'=6 (см. равенство (б)). Раз 5+1 равно 6, то (5+1)'=7 (см. равенство (а)). Итак, 5+2=7. В основе вычислимости арифметических функций, определяемых рекурсивно, лежит класс некоторых других функций, считающих­ся заданными с самого начала, которые называются примитивно-рекурсивными.
Рекурсивное Определение

(от лат. recurso - возвраща­юсь)  — метод определения арифметической функции φ(у) или пре­диката Р(у) через область значений этой функции или предиката. Примером Р. о. может быть определение функции сложения: а + 0 = а,      (1) а + b'=(а+b)' (2) В равенстве (1) говорится, что некоторое фиксированное число а (см.: Параметр) при прибавлении к нему нуля дает число а. В равенстве (2) говорится., что если к некоторому фиксированному числу а добавить число, следующее за некоторым фиксированным числом b (т. е. b', или число b+1), то эта сумма будет равна числу, следующему за суммой чисел а+b. Напр., если к числу 2 добавить число, следующее за числом 3, т. е. число 4, то этот же результат можно получить, сложив 2 и 3 и перейдя от полученной суммы к следующему за ней числу. Значение левой и правой частей равенства в данном случае равно 6. Такого рода функции позволяют вычислять значение суммы самых различных чисел. При этом осуществляется переход от некото­рого числа п к следующему за ним (к п', или п+1), т. е. строится натуральный ряд чисел начиная с нуля. Допустим, нам требуется сло­жить 5 и 2. Тогда число 2 представим как следующее за 1, т. е. как 1'. Итак, имеем: Теперь будем возвращаться от равенства 5+0=5 (в) к равенству (б), а затем к равенству (а). Раз 5+0=5, то (5+0)'=6 (см. равенство (б)). Раз 5+1 равно 6, то (5+1)'=7 (см. равенство (а)). Итак, 5+2=7. В основе вычислимости арифметических функций, определяемых рекурсивно, лежит класс некоторых других функций, считающих­ся заданными с самого начала, которые называются примитивно-рекурсивными.

Возможно Вам будет интересно узнать лексическое, прямое или переносное значение этих слов:

Разделительно-Условное Умозаключение - см.: Ди­лемма. ...
Разрешающая Процедура - см.: Разрешения проблема. ...
Разрешения Проблема - или: Разрешимости пробле­ма,  — проблема нахождения для данной ...
Разрешимая Теория -  — теория, для которой существует эф­фективная процедура (алгоритм), ...
Рациональность - (от лат. ratio разум)   относящееся к ...
Релевантная Импликация - см.: Релевантная логика. ...
Релевантная Логика -   одна из наиболее известных неклас­сических теорий логического ...
Референт - (от лат. refero — называть, обозначать)  — объект, ...
Референция -  — отношение между обозначаемым и обозначаю­щим, между предметом ...
Свойство -  — характеристика, присущая вещам и явлениям, позволяющая отличать ...


Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Код нашей кнопки: