Вікіпедія

Рекурсивні функції: відмінності між версіями

Інтерактивний перегляд історії
(Переглянути усі неперевірені зміни)
[перевірена версія][перевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
BunykBot (обговорення | внесок)
Боти
186 072 редагування
м Категоризація за вмістом
мНемає опису редагування
Рядок 1:
'''Рекурсивні функції''' — клас функцій, введений як уточнення класу обчислюваних функцій. В математиці загальноприйнятою є теза про те, що клас функцій, для обчислення яких існують [[алгоритм]]и, при найширшому розумінні алгоритму, збігається з класом рекурсивних функцій. У зв'язку з цим, рекурсивні функції грають важливу роль в математиці та її застосуваннях, в першу чергу, в [[математична логіка|математичній логіці]], основах математики та [[кібернетика|кібернетиці]], як ефективно обчислювані функції. Тільки такі функції можна обчислювати на електронних обчислювальних машинах та інших цифрових пристроях.
 
При введенні класу ефективно обчислюваних функцій природнімприродним чином виникає питання уточнення конструктивних об'єктів, на яких визначено ці функції. Клас всіх таких об'єктів широкий. В той же час, з допомогою методу [[арифметизація математики|арифметизації]], запропонованого [[Австрія|австрійським]] математиком [[Гедель|Куртом Геделем]], всі такі об'єкти легко зводяться до [[натуральні числа|натуральних чисел]]. Тому рекурсивні функції було введено як функції, що визначені на множині натуральних чисел і набувають значення з тієї ж множини натуральних чисел. Перенесення понять і методів вироблених в теорії рекурсивних функцій на функції визначені на складніших конструктивних областях (множини слів деякого алфавіту, формул деякої теорії, [[граф (математика)|графів]] тощо) не створює принципових ускладнень.
 
{{повідомлення|Далі, під словом «функція» слід розуміти функцію, визначену на множині натуральних чисел зі значеннями із множини натуральних чисел.}}
Отримано з https://uk.wikipedia.org/wiki/Рекурсивні_функції