(от лат. 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. В основе вычислимости арифметических функций, определяемых рекурсивно, лежит класс некоторых других функций, считающихся заданными с самого начала, которые называются примитивно-рекурсивными.
Узнайте лексическое, прямое, переносное значение следующих слов:
- Случайность Логическая - одна из модальных характеристик высказывания наряду с ...
- Следствие - см.: Логическое следование. ...
- Синтаксическая Категория - класс однотипных выражений словаря формализованного языка. Этот ...
- Синонимия - — одно из важнейших понятий логической семантики, выражающее ...
- Символы Собственные И Несобственные - символы, получающиеся в результате разложения предложения или ...
- Символика Логическая - система знаков (символов), используемая в логике для ...
- Силлогизм - (от греч. sillogismos) категорический дедуктивное умозаключение, в ...
- Противоречие - два высказывания, из которых одно является отрицанием ...
- Противоположность Логическая - – вид отношения между противоположными понятиями или суждениями ...
- Пропозициональная Связка - операция, позволяющая из данных суждений (высказываний) строить ...
- Причинности Логика - раздел современной логики, занимающийся исследованием структуры и ...
- Принцип Предметности - один из трех основных принципов теории отношения ...
- Принцип Объемности - (экстенсиональности) (от лат. extentio — протяжение) — принцип ...
- Принцип Взаимозаменимости - один из трех основных принципов теории отношения ...
- Анализ И Синтез. А. - (от греч. analysis разложение) разделение объекта ...