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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

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

Пошуковий запит: (<.>K=квантори<.>)

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

16/Х 76-750359

Хоменко, І. В.
Основи логіки : підручник для студентів вищих навчальних закладів / І. В. Хоменко, І. А. Алексюк. - Київ : Золоті ворота, 1996. - 256 с. - (Трансформація гуманітарної освіти в Україні). - ISBN 5-88490-064-3 : 2.00 грн., 17.00 грн.

ДРНТІ	02.21
УДК	16(075)

Рубрики: Логіка--Підручники для вищих навчальних закладів

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

Примірників всього: 18
Фаховий коледж «Універсум» (1),
Вул. Левка Лук'яненка, 13-Б Абонемент (15),
,
Левка Лук'яненка, 13-Б. Філія 1 (1),
Бульвар І. Шамо, 18/2 (1)
Вільні:
Фаховий коледж «Універсум» (1),
Вул. Левка Лук'яненка, 13-Б Абонемент (15),
Левка Лук'яненка, 13-Б. Філія 1 (1),
Бульвар І. Шамо, 18/2 (1)

Знайти схожі

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)

Знайти схожі

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