Б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) |
В 12 Вагин, Вадим Николаевич. Дедукция и обобщение в системах принятия решений [] / В. Н. Вагин. - М. : Наука, 1988. - 384 с. : рис., табл. - (Проблемы искусственного интеллекта). - Лит.: с. 370-381. - ISBN 5-02-013887-8 : 4.50 р.
Рубрики: Штучний інтелект--Практичні посібники Прийняття рішень теорія--Практичні посібники Кл.слова (ненормовані): формальные системы -- формальні системи -- семантические сети -- семантичні мережі -- дедуктивные процедуры -- дедуктивні процедури -- кластеризация -- дедуктивный вывод -- дедуктивний вивід -- обобщение понятий -- узагальнення поняття -- принцип резолюций -- логика висказываний -- логіка висловлювань -- линейная резолюция -- анализ систем -- транзитивная аппроксимация -- алгоритм точечного обобщения -- алгоритм точкового узагальнення Анотація: Методы дедуктивного вывода и обобщения в системах принятия решений. Утримувачі документа: ЖОУНБ ім. О. Ольжича Примірників всього: 1 ВВ (1) Свободны: ВВ (1) |
К89 Кузнецов, Олег Петрович. Дискретная математика для инженера [] / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : рис., табл. - Лит.: с. 473-475. - Предм. указ.: с. 476-478. - ISBN 5-283-01568-7 : 1.80 р.
Рубрики: Дискретна математика--Навчальні видання Кл.слова (ненормовані): множества -- множини -- функции -- функції -- отношения -- відношення -- общая алгебра -- загальна алгебра -- логика -- логіка -- графы -- графи -- формальные системы -- формальні системи -- теория автоматов -- теорія автоматів -- комбинаторные задачи -- комбінаторні задачі -- линейное программирование -- лінійне програмування -- теория алгоритмов -- теорія алгоритмів Анотація: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов. Утримувачі документа: ЖОУНБ ім. О. Ольжича Дод.точки доступу: Адельсон-Вельский, Георгий Максимович Примірників всього: 3 ЧЗ (1), ВВ (2) Свободны: ЧЗ (1), ВВ (2) |