Вікіпедія

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

Інтерактивний перегляд історії
(Переглянути усі неперевірені зміни)
[неперевірена версія][неперевірена версія]
← Попереднє редагуванняНаступне редагування →
Вилучено вміст Додано вміст
ВізуальнийВікірозмітка
Рядок 46:
Де <math>\phi</math> і <math>f</math> — примітивно рекурсивні функції, тобто, для отримання будь-якої частково рекурсивної функції оператор &mu; можна застосувати не більше одного разу.
 
Робились спроби класифікації рекурсивних функцій. Класифікацію примітивно рекурсивних функцій здійснив польський математик А. Гжегорчик, а класифікацію, основану на понятті [[звідність|Звідностізвідності]] (в [[теорія алгоритмів|теорії алгоритмів]]), виконав американський математик [[Пост Еміль|Е. Пост]].
 
=== Алгебри рекурсивних функцій ===
Отримано з https://uk.wikipedia.org/wiki/Рекурсивні_функції