Бібліотека Київського столичного університету імені Бориса Грінченка

Головна

Спрощенний режим

Посібник користувача

Бази даних

Електронний каталог бібліотеки- результати пошуку

Вид пошуку

Електронний каталог бібліотеки

Каталог авторефератів та дисертацій

Грінченкознавство

Рідкісні та цінні видання

Українська Аудіокнига

Мережеві ресурси

Наукові періодичні видання Університету

Зона пошуку

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

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

Пошуковий запит: (<.>K=теорема дедукції<.>)

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

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)

Знайти схожі

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