510.6+510.5(075) М 33     Матвієнко, М. П.     Математична логіка та теорія алгоритмів : навчальний посібник для студ. вищ. навч. закл. / М. П. Матвієнко ; Сумський державний університет. - Київ : Ліра-К, 2017. - 211 с. - ISBN 978-966-2609-74-5 : 100.00 грн. ДРНТІ 27.03.19 УДК 510.6+510.5(075) 510.5(075) Рубрики: Математика--Математична логіка--Алгоритм--Навчальні видання для вищих навчальних закладів Кл.слова (ненормовані): квантори -- теорема дедукції -- алгоритми -- модальна логіка -- інтуїціоністська логіка Дод.точки доступу: Сумський державний університет Примірників всього: 5 Вул. Левка Лук'яненка, 13-Б Абонемент (5) Вільні: Вул. Левка Лук'яненка, 13-Б Абонемент (5)

510.6+510.5(075) М 33     Матвієнко, М. П.     Математична логіка та теорія алгоритмів [Текст] : навчальний посібник для студ. вищ. навч. закл. / М. П. Матвієнко, С. П. Шаповалов ; Сумський державний університет. - Київ : Ліра-К, 2018. - 211 с. - ISBN 978-966-2609-74-5 : 120.00 грн. ДРНТІ 27.03.19 УДК 510.6+510.5(075) 510.5(075) Рубрики: Математика--Математична логіка--Алгоритм--Навчальні видання для вищих навчальних закладів Кл.слова (ненормовані): квантори -- теорема дедукції -- алгоритми -- модальна логіка -- інтуїціоністська логіка Дод.точки доступу: Шаповалов, С. П. Сумський державний університет Примірників всього: 5 Вул. Левка Лук'яненка, 13-Б Читальний зал (1), Вул. Левка Лук'яненка, 13-Б Абонемент (4) Вільні: Вул. Левка Лук'яненка, 13-Б Читальний зал (1), Вул. Левка Лук'яненка, 13-Б Абонемент (4)