М21 Мальцев, Анатолий Иванович. Алгоритмы и рекурсивные функции [] / А. И. Мальцев. - 2-е изд. - М. : Наука, Гл. ред. физ.-мат. лит., 1986. - 368 с. - Лит.: с. 348-354. - Прил.: с. 355-364. - Предм. указ.: с. 365-367. - 1.70 р.
Рубрики: Алгоритмів теорія--Навчальні видання фывфывфыв: функции -- функції -- вычислимые операторы -- обчислювальні оператори -- рекурсивные функции -- рекурсивні функції -- рекурсивно перечислимые множества -- рекурсивно перелічувальні множини -- нумерованные совокупности -- нумеровані сукупності -- креативность множеств -- креативність множин -- машины Тьюринга -- операторные алгоритмы -- операторні алгоритми -- нормальные алгоритмы -- нормальні алгоритми -- диофантовы уравнения -- діофантови рівняння -- диофантовы предикаты -- діофантови предикати -- алгоритми Аннотация: Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Держатели документа: ЖОУНБ ім. О. Ольжича Экземпляры всего: 2 ЧЗ (2) Свободны: ЧЗ (2) |