К82 Кривий, Сергій Лук'янович. Дискретна математика. Вибрані питання [] : навч. посібник / С. Л. Кривий ; М-во освіти і науки України, Ін-т кіберн. ім. В. М. Глушкова НАН України, Хмельн. нац. ун-т. - К. : Києво-Могил. акад., 2007. - 570, [2] с. : рис., табл. - Бібліогр.: с. 550-564. - ISBN 978-966-518-432-4 : 35.00 грн
Рубрики: Дискретна математика--Навчальні видання для вищої школи фывфывфыв: елементарна транзиційна система -- элементарная трансакционная система -- реактивна система -- реактивная система -- функціональна система -- функциональная система -- метод верифікації систем -- метод верификации систем -- логічне програмування -- логическое программирование -- теорія множин -- теория множеств -- теорія відношень -- теория отношений -- загальна алгебра -- общая алгебра -- математична логіка -- матемтическая логика -- теорія алгоритмів -- теория алгоритмов -- теорія графів -- теория графов -- теорія автоматів -- теория автоматов -- мережі Петрі -- сети Петри Аннотация: Розглянуто основні поняття теорії множини та відношень, загальної алгебри, математичної логіки і теорії алгоритмів, представлені формальні логічні мови. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Міністерство освіти і науки України; Інститут кібернетики імені В. М. Глушкова НАН України; Хмельницький національний університет Экземпляры всего: 1 ЧЗ (1) Свободны: ЧЗ (1) |