Вс. Сен 8th, 2024

Класс алгоритмически вычислимых частичных числовых функций

Этот тезис дает алгоритмическое толкование понятие отчасти рекурсивной функции. Его нельзя обосновать, так как он связывает нестрогое математическое понятие интуитивно вычислимой функции со серьезным математическим понятием отчасти рекурсивной функции. Но…

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

Для предстоящего рассмотрения нам пригодится ряд определений. Пусть имеются два огромного количества X и Y. Если неким элементам огромного количества X поставлены в соответствие совершенно точно определенные элементы огромного количества…