Б24 Бардачов, Юрій Миколайович. Дискретна математика [] / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков; за ред. В. Є. Ходакова. - 2-е вид., переробл. і допов. - К. : Вища школа, 2008. - 384 с. : рис., табл. - Л-ра в кінці розд. - Дод.: с. 377-383. - ISBN 978-966-642-384-2 : 34.50 грн, 50.30 грн, 30.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи Кл.слова (ненормовані): множини -- множества -- булеві функції -- булевы функции -- булева алгебра -- алгоритми -- алгоритмы -- рекурсивні функції -- рекурсивные функции -- тезис Черча -- теза Черча -- машини Тьюрінга -- машины Тьюринга -- теорема Райса -- формальні системи -- формальные системы -- алгебри -- алгебры -- комбінаторика -- комбинаторика -- теорія графів -- теория графов Анотація: Основні поняття і наукові результати теорій множин, математичної логіки, відношень, формальних систем, алгоритмів, алгебр, комбінаторики, графів. Утримувачі документа: ЖОУНБ Дод.точки доступу: Соколова, Надія Андріївна; Ходаков, ВІктор Єгорович; Ходаков, Віктор Єгорович \ред.\ Примірників всього: 3 ЧЗ (3) Свободны: ЧЗ (3) |
М21 Мальцев, Анатолий Иванович. Алгоритмы и рекурсивные функции [] / А. И. Мальцев. - 2-е изд. - М. : Наука, Гл. ред. физ.-мат. лит., 1986. - 368 с. - Лит.: с. 348-354. - Прил.: с. 355-364. - Предм. указ.: с. 365-367. - 1.70 р.
Рубрики: Алгоритмів теорія--Навчальні видання Кл.слова (ненормовані): функции -- функції -- вычислимые операторы -- обчислювальні оператори -- рекурсивные функции -- рекурсивні функції -- рекурсивно перечислимые множества -- рекурсивно перелічувальні множини -- нумерованные совокупности -- нумеровані сукупності -- креативность множеств -- креативність множин -- машины Тьюринга -- операторные алгоритмы -- операторні алгоритми -- нормальные алгоритмы -- нормальні алгоритми -- диофантовы уравнения -- діофантови рівняння -- диофантовы предикаты -- діофантови предикати -- алгоритми Анотація: Посвящается одному из актуальных и бурно развивающихся разделов математической логики - теории алгоритмов, а также важнейшим ее связям с другими разделами математики. Является одним из лучших пособий для знакомства с основными направлениями, идеями и методами теории алгоритмов. Для математиков различных специальностей: научных работников, аспирантов и студентов. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 2 ЧЗ (2) Свободны: ЧЗ (2) |