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

Головна

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

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

Бази даних

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

Вид пошуку

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

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

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

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

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

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

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

Зона пошуку

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

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

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

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

Форма документа : Однотомне видання
Шифр видання : 16/Х 76-750359
Автор(и) : Хоменко І. В., Алексюк І. А.
Назва : Основи логіки : підручник для студентів вищих навчальних закладів
Вихідні дані : Київ: Золоті ворота, 1996
Кільк.характеристики :256 с
Серія: Трансформація гуманітарної освіти в Україні
ISBN, Ціна 5-88490-064-3:
ДРНТІ : 02.21
УДК : 16(075)
Предметні рубрики: Логіка
Анотація: Виклад змісту підручника скеровано на формування логічної культури мислення стихійно сформованої логічної інтуїції, а також пробудження інтересу до сучасної логічної проблематики.
Примірники : всього 25: Ф3(1), ГП АБ(15), Ф1(1), Ф2(1)
Вільні : Ф3(1), ГП АБ(11), Ф1(1), Ф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)
Вільні : ГП АБ(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)
Предметні рубрики: Математика-- Математична логіка-- Алгоритм
Ключові слова (''Вільн.індекс.''): квантори--теорема дедукції--алгоритми--модальна логіка--інтуїціоністська логіка
Примірники : всього : ГП ЧЗ(1), ГП АБ(4)
Вільні : ГП ЧЗ(1), ГП АБ(3)
Знайти схожі

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