16/Х 76-750359

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

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

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


Примірників всього: 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 грн.
ДРНТІ
УДК

Рубрики: Математика--Математична логіка--Алгоритм--Навчальні видання для вищих навчальних закладів

Кл.слова (ненормовані):
квантори -- теорема дедукції -- алгоритми -- модальна логіка -- інтуїціоністська логіка
Дод.точки доступу:
Сумський державний університет


Примірників всього: 5
Вул. Левка Лук'яненка, 13-Б Абонемент (5)
Вільні:
Вул. Левка Лук'яненка, 13-Б Абонемент (5)


510.6+510.5(075)
М 33


    Матвієнко, М. П.
    Математична логіка та теорія алгоритмів [Текст] : навчальний посібник для студ. вищ. навч. закл. / М. П. Матвієнко, С. П. Шаповалов ; Сумський державний університет. - Київ : Ліра-К, 2018. - 211 с. - ISBN 978-966-2609-74-5 : 120.00 грн.
ДРНТІ
УДК

Рубрики: Математика--Математична логіка--Алгоритм--Навчальні видання для вищих навчальних закладів

Кл.слова (ненормовані):
квантори -- теорема дедукції -- алгоритми -- модальна логіка -- інтуїціоністська логіка
Дод.точки доступу:
Шаповалов, С. П.
Сумський державний університет


Примірників всього: 5
Вул. Левка Лук'яненка, 13-Б Читальний зал (1),
Вул. Левка Лук'яненка, 13-Б Абонемент (4)
Вільні:
Вул. Левка Лук'яненка, 13-Б Читальний зал (1),
Вул. Левка Лук'яненка, 13-Б Абонемент (4)