Б24 Бардачов, Юрій Миколайович. Дискретна математика [] : підручник / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; ред. В. Є. Ходаков. - Київ : Вища школа, 2002. - 288 с. : рис., табл. - Бібліогр. в кінці глав. - ISBN 966-642-090-2 : 18.70 грн, 20.50 грн, 20.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи Кл.слова (ненормовані): математична логіка -- математическая логика -- алгоритми -- алгоритмы -- алгебричні системи -- алгебраические системы -- теорія множин -- теория множеств -- формальні системи -- формальные системы -- комбінаторика -- комбинаторика -- булеві функції -- булевые функции -- відношення еквівалентності -- отношния эквивалентности -- відношення порядку -- отношения порядка -- алгебри -- алгебры -- теорія графів -- теория графов -- графи -- графы -- рекурсивні функції -- рекурсивные функции Анотація: Поняття і наукові результати теорій множин, математичної логіки, відношень, алгоритмів, алгебр, комбінаторики, графів. Матеріал ілюстровано численними прикладами. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Соколова, Надія Андріївна; Ходаков, Віктор Єгорович; Ходаков, В.Є. \ред.\ Примірників всього: 5 ВВ (1), ФОНД (2), ЧЗ (2) Свободны: ВВ (1), ФОНД (2), ЧЗ (2) |
Б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) |
К37 Кетков, Юлий Лазаревич. Практика программирования: Бейсик, Си, Паскаль [] / Юлий Кетков, Александр Кетков ; [ред. Е. Кондукова]. - СПб. ; М. ; Киев : BHV-Санкт-Петербург, 2001. - 480 с. : рис., табл. + 1 эл. опт. диск (CD-ROM). - (Самоучитель). - Прил.: с. 457-464. - ISBN 5-94157-104-6 : 24.70 грн
Рубрики: Мови програмування--Популярні видання BASIK, мова--Популярні видання C, мова--Популярні видання Pascal, мова--Популярні видання Кл.слова (ненормовані): представление числовых данных -- представлення числових даних -- обработка текстовой информации -- обробка текстової інформації -- массивы -- масиви -- рекурсивные функции -- рекурсивні функції -- рекурсивные процедуры -- рекурсивні процедури -- подпрограммы -- підпрограми -- дисковые файлы -- дискові файли -- машинная графика -- машинна графіка -- календарные даты -- календарні дати -- системные функции -- системні функції Анотація: 130 готовых к исполнению программ, большинство из которых представлено на трех алгоритмических языках - Бейсик, Си и Паскаль. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Кетков, Александр Юлеевич; Кондукова, Е. \ред.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
М45 Мейн, Майкл. Структуры данных и другие объекты в С++ [] = Data Structures & Other Objects Using C++ / Майкл Мейн, Уолтер Савитч ; [пер. с англ: Д. А. Клюшина, А. В. Пестова ; под ред. Д. А. Клюшина]. - 2-е изд. - Москва ; Санкт-Петербург ; Киев : Вильямс, 2002. - 832 с. : рис., табл. - Прил.: с. 781-825. - Предм. указ.: с. 826-831. - ISBN 5-8459-0263-0 : 55.44 грн
Рубрики: Програмне забезпечення--Бази даних--Популярні видання Кл.слова (ненормовані): абстрактные базы данных -- абстрактні бази даних -- контейнерные классы -- контейнерні класи -- указатели -- покажчики -- динамические массивы -- динамічні масиви -- связанные списки -- зв'язані списки -- разработка программ -- розробка програм -- шаблонные функции -- шаблонні функції -- теория стеков -- теорія стеків -- теория очередей -- теорія черг -- рекурсивные функции -- рекурсивні функції -- бинарные деревья -- бінарні дерева -- хранение данных -- зберігання даних -- бинарный поиск -- бінарний пошук -- алгоритмы сортировки -- алгоритми сортування -- производные классы -- похідні класи -- моделирование экосистемы -- моделювання екосистеми -- определение графа -- визначення графа Анотація: Язык С++: спецификации, проектирование, реализация и использование основных типов данных. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Савитч, Уолтер; Клюшин, Д. А. \пер.\; Пестов, А. В. \пер.\; Клюшин, Д. А. \ред.\ Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |