Алгоритмы и рекурсивные функции /
Мальцев, Анатолий Иванович.
Алгоритмы и рекурсивные функции / А. И. Мальцев. - 2-е изд. - Москва : Наука. Гл. ред. физ.-мат. лит., 1986. - 367 с. : ил.
В прикл.: Диофантовость рекурсивно перечислимых множеств и предикатов / Д. А. Захаров
Библиогр.: с. 348-354, 364 (126 назв.) Предм. указ.: с. 365-367
[ Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики ].
Алгоритмы
Функции (мат.) рекурсивные
Алгоритмы Рекурсивные функции Математическая логика
Алгоритмы и рекурсивные функции / А. И. Мальцев. - 2-е изд. - Москва : Наука. Гл. ред. физ.-мат. лит., 1986. - 367 с. : ил.
В прикл.: Диофантовость рекурсивно перечислимых множеств и предикатов / Д. А. Захаров
Библиогр.: с. 348-354, 364 (126 назв.) Предм. указ.: с. 365-367
[ Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики ].
Алгоритмы
Функции (мат.) рекурсивные
Алгоритмы Рекурсивные функции Математическая логика