Зведений каталог Житомирської обласної універсальної наукової бібліотеки ім. О. Ольжича та бібліотек Житомирської області

Про нас

Електронний депозитарій LIBO

Зведений каталог України

Бази даних

Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Електронний каталог ЖОУНБ ім. О. Ольжича

Цінні та рідкісні видання ЖОУНБ ім. О. Ольжича

Звягельська бібліотека ЗМР

Зона пошуку

у знайденому

Формат представлення знайдених документів:
повний	інформаційний	короткий

Відсортувати знайдені документи за:
автором	назвою	роком видання	типом документа

Пошуковий запит: <.>K=формальные системы<.>

Загальна кількість знайдених документів : 4
Показані документи с 1 за 4

519.854(075.8)
Б24

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

УДК

519.854(075.8)

ББК 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 грн

УДК

519.854(075.8)

ББК 22.174я73
Рубрики: Дискретна математика--Навчальні видання для вищої школи

Кл.слова (ненормовані):
множини -- множества -- булеві функції -- булевы функции -- булева алгебра -- алгоритми -- алгоритмы -- рекурсивні функції -- рекурсивные функции -- тезис Черча -- теза Черча -- машини Тьюрінга -- машины Тьюринга -- теорема Райса -- формальні системи -- формальные системы -- алгебри -- алгебры -- комбінаторика -- комбинаторика -- теорія графів -- теория графов
Анотація: Основні поняття і наукові результати теорій множин, математичної логіки, відношень, формальних систем, алгоритмів, алгебр, комбінаторики, графів.

Утримувачі документа:
ЖОУНБ

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

007
В 12

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

УДК

007

ББК 32.813
Рубрики: Штучний інтелект--Практичні посібники
Прийняття рішень теорія--Практичні посібники

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

Утримувачі документа:
ЖОУНБ ім. О. Ольжича
Примірників всього: 1
ВВ (1)
Свободны: ВВ (1)
Знайти схожі

519.1
К89

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

УДК

519.1

ББК 22.174
Рубрики: Дискретна математика--Навчальні видання

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

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

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

© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)