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

Про нас

Електронний депозитарій 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
Предметные рубрики: Дискретна математика
Географич. рубрики:
Аннотация: Поняття і наукові результати теорій множин, математичної логіки, відношень, алгоритмів, алгебр, комбінаторики, графів. Матеріал ілюстровано численними прикладами.
Экземпляры : всего : ВВ(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)
Найти похожие

Вид документа : Однотомное издание
Шифр издания : 007/В 12
Автор(ы) : Вагин, Вадим Николаевич
Заглавие : Дедукция и обобщение в системах принятия решений
Выходные данные : М.: Наука, 1988
Колич.характеристики :384 с.: рис., табл.
Серия: Проблемы искусственного интеллекта
Примечания : Лит.: с. 370-381
ISBN, Цена 5-02-013887-8: 4.50 р.
УДК : 007
ББК : 32.813
Предметные рубрики: Штучний інтелект
Прийняття рішень теорія
Географич. рубрики:
Аннотация: Методы дедуктивного вывода и обобщения в системах принятия решений.
Экземпляры :ВВ(1)
Свободны : ВВ(1)
Найти похожие

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

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)