Головна сторінка бібліотеки Спрощенний режим пошуку Інструкція з пошуку
Авторизація
Прізвище
Пароль
 

Бази даних


Повнотекстова база "Праці вчених НТУ "ХПІ"- результати пошуку

Вид пошуку

Зона пошуку
 Знайдено у інших БД:Книжкові видання (21)Періодичні видання (7)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=МАТЕМАТИЧНА ЛОГІКА<.>)
Загальна кількість знайдених документів : 4
Показані документи с 1 по 4
1.


   
    Методичні вказівки до практичних робіт “Методи перевірки правильності логічного висновку” [Електронний ресурс] : з курсу “Математична логіка та теорія алгоритмів” : для студ. спец. “Прикладна математика” / Національний технічний університет “Харківський політехнічний інститут” ; уклад.: І. Д. Вечірська, Н. Т. Процай ; рец. Л. М. Любчик. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2015. - 28 с. - Б. ц.

Кл.слова (ненормовані):
АЛГОРИТМ КВАЙНА -- АЛГОРИТМ РЕДУКЦІЇ -- МЕТОД РЕЗОЛЮЦІЇ -- МЕТОД ВОНГА -- МАТЕМАТИЧНА ЛОГІКА -- ТЕОРІЯ АЛГОРИТМІВ -- ПРИКЛАДНА МАТЕМАТИКА
Есть полнотекстовые версии (доступ потребує авторизації)

Дод.точки доступу:
Вечірська, Ірина Дмитрівна \уклад.\
Процай, Наталія Тимофіївна \уклад.\
Любчик, Леонід Михайлович (доктор технічних наук) \рец.\
Любчик, Леонид Михайлович (доктор технических наук)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

2.


    Коноваленко, Ольга Євгенівна.
    Дискретна математика [Електронний ресурс] : навч.-метод. посібник : для студ. спец. “Інформаційні технології проектування” / О. Є. Коноваленко, М. А. Ткачук, А. В. Грабовський ; рец.: Г. Г. Асєєв, О. В. Устиненко ; Національний технічний університет “Харківський політехнічний інститут”. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2016. - 84 с. - Б. ц.

Кл.слова (ненормовані):
МАТЕМАТИЧНА ЛОГІКА -- ГРАФИ -- КОМБІНАТОРНИЙ АНАЛІЗ -- ТЕОРІЯ ГРАФІВ -- ТЕОРІЯ МНОЖИН -- АЛГОРИТМІЗАЦІЯ ПРОЦЕСІВ -- ЧИСЕЛЬНЕ ПРОГРАМУВАННЯ
Есть полнотекстовые версии (доступ потребує авторизації)

Дод.точки доступу:
Ткачук, Микола Анатолійович (доктор технічних наук; професор)
Ткачук, Николай Анатольевич (доктор технических наук; профессор)
Грабовський, Андрій Володимирович (кандидат технічних наук)
Грабовский, Андрей Владимирович (кандидат технических наук)
Асєєв, Г. Г. \рец.\
Устиненко, Олександр Віталійович \рец.\
Коноваленко, Ольга Евгеньевна
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

3.


   
    Методичні вказівки до виконання практичних та лабораторних робіт за темою “Множини” з дисциплін “Дискретна математика” та “Комп’ютерна математика” [Електронний ресурс] : для студентів напряму “Інформаційні технології” / НТУ “ХПІ” ; уклад.: О. М. Нікуліна, Н. Є. Хацько, К. О. Хацько. - Електрон. текст. дані. - Харків : НТУ “ХПІ”, 2023. - 42 с. - Б. ц.

Кл.слова (ненормовані):
ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ -- ПРОГРАМУВАННЯ -- МАТЕМАТИЧНА ЛОГІКА -- РАЦІОНАЛЬНІ ЧИСЛА -- ТЕОРІЯ КАНТОРА
Есть полнотекстовые версии (доступ потребує авторизації)

Дод.точки доступу:
Нікуліна, Олена Миколаївна \уклад.\
Хацько, Наталія Євгенівна \уклад.\
Хацько, Кирило Олександрович \уклад.\
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

4.


    Безменов, Микола Іванович (кандидат технічних наук).
    Вступ до інформатики [Електронний ресурс] : навч. посібник / М. І. Безменов ; НТУ “ХПІ”. - Електрон. текст. дані. - Харків : ФОП Ільїнська А. О., 2014. - 168 с. : іл., табл. - Бібліогр.: 9. - ISBN 978-966-2313-11-6 : Б. ц.

Кл.слова (ненормовані):
ІНФОРМАЦІЙНІ ТЕХНОЛОГІЇ -- КОМП’ЮТЕРНІ СИСТЕМИ -- ТЕОРІЯ АВТОМАТІВ -- БАЗИ ДАНИХ -- ШТУЧНИЙ ІНТЕЛЕКТ -- ПРОГРАМУВАННЯ -- КРИПТОГРАФІЯ -- СИСТЕМИ ЧИСЛЕННЯ -- МАТЕМАТИЧНА ЛОГІКА -- КОДУВАННЯ
Есть полнотекстовые версии (доступ потребує авторизації)

Дод.точки доступу:
Безменов, Николай Иванович (кандидат технических наук)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

 

Наша адреса: 61000, Харків, вул. Кирпичова, 2
Науково-технічна бібліотека НТУ "ХПІ"
Контактний телефон: (057) 707-63-07
E-mail: library@khpi.edu.ua