519.854(075.8)
Б24


    Бардачов, Юрій Миколайович.
    Дискретна математика [] : підручник / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков ; ред. В. Є. Ходаков. - Київ : Вища школа, 2002. - 288 с. : рис., табл. - Бібліогр. в кінці глав. - ISBN 966-642-090-2 : 18.70 грн, 20.50 грн, 20.00 грн
УДК
ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи
   
фывфывфыв:
математична логіка -- математическая логика -- алгоритми -- алгоритмы -- алгебричні системи -- алгебраические системы -- теорія множин -- теория множеств -- формальні системи -- формальные системы -- комбінаторика -- комбинаторика -- булеві функції -- булевые функции -- відношення еквівалентності -- отношния эквивалентности -- відношення порядку -- отношения порядка -- алгебри -- алгебры -- теорія графів -- теория графов -- графи -- графы -- рекурсивні функції -- рекурсивные функции
Аннотация: Поняття і наукові результати теорій множин, математичної логіки, відношень, алгоритмів, алгебр, комбінаторики, графів. Матеріал ілюстровано численними прикладами.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Соколова, Надія Андріївна; Ходаков, Віктор Єгорович; Ходаков, В.Є. \ред.\
Экземпляры всего: 5
ВВ (1), ФОНД (2), ЧЗ (2)
Свободны: ВВ (1), ФОНД (2), ЧЗ (2)

519.854(075.8)
Б24


    Бардачов, Юрій Миколайович.
    Дискретна математика [] / Ю. М. Бардачов, Н. А. Соколова, В. Є. Ходаков; за ред. В. Є. Ходакова. - 2-е вид., переробл. і допов. - К. : Вища школа, 2008. - 384 с. : рис., табл. - Л-ра в кінці розд. - Дод.: с. 377-383. - ISBN 978-966-642-384-2 : 34.50 грн, 50.30 грн, 30.00 грн
УДК
ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи
   
фывфывфыв:
множини -- множества -- булеві функції -- булевы функции -- булева алгебра -- алгоритми -- алгоритмы -- рекурсивні функції -- рекурсивные функции -- тезис Черча -- теза Черча -- машини Тьюрінга -- машины Тьюринга -- теорема Райса -- формальні системи -- формальные системы -- алгебри -- алгебры -- комбінаторика -- комбинаторика -- теорія графів -- теория графов
Аннотация: Основні поняття і наукові результати теорій множин, математичної логіки, відношень, формальних систем, алгоритмів, алгебр, комбінаторики, графів.

Держатели документа:
ЖОУНБ

Доп.точки доступа:
Соколова, Надія Андріївна; Ходаков, ВІктор Єгорович; Ходаков, Віктор Єгорович \ред.\
Экземпляры всего: 3
ЧЗ (3)
Свободны: ЧЗ (3)

007
В 12


    Вагин, Вадим Николаевич.
    Дедукция и обобщение в системах принятия решений [] / В. Н. Вагин. - М. : Наука, 1988. - 384 с. : рис., табл. - (Проблемы искусственного интеллекта). - Лит.: с. 370-381. - ISBN 5-02-013887-8 : 4.50 р.
УДК
ББК 32.813
Рубрики: Штучний інтелект--Практичні посібники
   Прийняття рішень теорія--Практичні посібники

   
фывфывфыв:
формальные системы -- формальні системи -- семантические сети -- семантичні мережі -- дедуктивные процедуры -- дедуктивні процедури -- кластеризация -- дедуктивный вывод -- дедуктивний вивід -- обобщение понятий -- узагальнення поняття -- принцип резолюций -- логика висказываний -- логіка висловлювань -- линейная резолюция -- анализ систем -- транзитивная аппроксимация -- алгоритм точечного обобщения -- алгоритм точкового узагальнення
Аннотация: Методы дедуктивного вывода и обобщения в системах принятия решений.

Держатели документа:
ЖОУНБ ім. О. Ольжича
Экземпляры всего: 1
ВВ (1)
Свободны: ВВ (1)

519.1
К89


    Кузнецов, Олег Петрович.
    Дискретная математика для инженера [] / О. П. Кузнецов, Г. М. Адельсон-Вельский. - 2-е изд., перераб. и доп. - М. : Энергоатомиздат, 1988. - 480 с. : рис., табл. - Лит.: с. 473-475. - Предм. указ.: с. 476-478. - ISBN 5-283-01568-7 : 1.80 р.
УДК
ББК 22.174
Рубрики: Дискретна математика--Навчальні видання
   
фывфывфыв:
множества -- множини -- функции -- функції -- отношения -- відношення -- общая алгебра -- загальна алгебра -- логика -- логіка -- графы -- графи -- формальные системы -- формальні системи -- теория автоматов -- теорія автоматів -- комбинаторные задачи -- комбінаторні задачі -- линейное программирование -- лінійне програмування -- теория алгоритмов -- теорія алгоритмів
Аннотация: В книге изложены основные понятия теории множеств, общей алгебры, логики, теории графов, теории алгоритмов и формальных систем, теории автоматов.

Держатели документа:
ЖОУНБ ім. О. Ольжича

Доп.точки доступа:
Адельсон-Вельский, Георгий Максимович
Экземпляры всего: 3
ЧЗ (1), ВВ (2)
Свободны: ЧЗ (1), ВВ (2)