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

Бази даних


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

Вид пошуку

Зона пошуку
у знайденому
 Знайдено у інших БД:Книжкові видання (243)Періодичні видання (112)Повнотекстова база "Навчальні видання" (10)
Формат представлення знайдених документів:
повнийінформаційнийкороткий
Відсортувати знайдені документи за:
авторомназвоюроком виданнятипом документа
Пошуковий запит: (<.>K=ЛОГІКА<.>)
Загальна кількість знайдених документів : 23
Показані документи с 1 по 10
 1-10    11-20   21-23 
1.


   
    Методичні вказівки до виконання розрахункового завдання “Алгебра логіки” та курсового проектування з курсів “Математична логіка і теорія алгоритмів”, “Дискретна математика” [Електронний ресурс] : для студ. напрямків 6.040303 “Системний аналіз”, 6.040302 “Інформатика” / Національний технічний університет “Харківський політехнічний інститут” ; уклад.: Л. Б. Кащеєв, Н. А. Марченко. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2009. - 44 с. - Б. ц.

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

Дод.точки доступу:
Кащеєв, Леонід Борисович (кандидат технічних наук ; 1954) \уклад.\
Кащеев, Леонид Борисович (кандидат технических наук ; 1954)
Марченко, Наталя Андріївна (1973) \уклад.\
Марченко, Наталья Андреевна (1973)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

2.


   
    Методичні вказівки до практичних занять та модульних контрольних робіт “Комбінаторика” з курсів “Математична логіка і теорія алгоритмів”, “Дискретна математика” [Електронний ресурс] : для студ. напрямків 6.040303 “Системний аналіз”, 6.040302 “Інформатика” / Національний технічний університет “Харківський політехнічний інститут” ; рец. Л. М. Любчик ; уклад.: Л. Б. Кащеєв, Н. А. Марченко. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2009. - 24 с. - Б. ц.

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

Дод.точки доступу:
Любчик, Л. М. \рец.\
Кащеєв, Леонід Борисович (кандидат технічних наук ; 1954) \уклад.\
Кащеев, Леонид Борисович (кандидат технических наук ; 1954)
Марченко, Наталя Андріївна (1973) \уклад.\
Марченко, Наталья Андреевна (1973)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

3.


    Булавіна, Вікторія Вікторівна (1979).
    Логіка [Електронний ресурс] : навч.-метод. посібник : для студ. усіх спец. та форм навчання. Ч. 1 / В. В. Булавіна ; Національний технічний університет “Харківський політехнічний інститут”. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2010. - 70 с. : іл., табл. - Бібліогр.: 12 назв. - Б. ц.

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

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


Знайти схожі

4.


   
    Методичні вказівки до виконання розрахункового завдання “Кодування” та курсового проектування [Електронний ресурс] : з курсів “Математична логіка і теорія алгоритмів”, “Дискретна математика” : для студ. напрямів 6.040303 “Системний аналіз”, 6.040302 “Інформатика” / Національний технічний університет “Харківський політехнічний інститут” ; уклад.: Л. Б. Кащеєв, Н. А. Марченко. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2012. - 36 с. - Б. ц.

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

Дод.точки доступу:
Кащеєв, Леонід Борисович (кандидат технічних наук ; 1954) \уклад.\
Кащеев, Леонид Борисович (кандидат технических наук ; 1954)
Марченко, Наталя Андріївна (кандидат технічних наук) \уклад.\
Марченко, Наталья Андреевна (кандидат технических наук)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

5.


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

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

Дод.точки доступу:
Гавриленко, Світлана Юріївна (кандидат технічних наук) \уклад.\
Гавриленко, Светлана Юрьевна (кандидат технических наук)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

6.


   
    Програма, методичні вказівки та контрольні завдання з курсу “Педагогіка” [Електронний ресурс] : для студ. освітньо-кваліфікаційного рівня “Бакалавр” зі спец. 6.030102 “Психологія” / Національний технічний університет “Харківський політехнічний інститут” ; уклад.: О. Г. Романовський, Ж. Б. Богдан, Т. О. Солодовник. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2013. - 50 с. - Б. ц.

Кл.слова (ненормовані):
ПЕДАГОГІКА -- ВИХОВАННЯ -- ЛОГІКА
Есть полнотекстовые версии (доступ потребує авторизації)

Дод.точки доступу:
Романовський, Олександр Георгійович (доктор педагогічних наук) \уклад.\
Романовский, Александр Георгиевич (доктор педагогических наук)
Богдан, Жанна Борисівна \уклад.\
Солодовник, Тетяна Олександрівна \уклад.\
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

7.
004.891
В 85


   
    Вступ до експертних систем [Електронний ресурс] : навч. посібник / В. О. Кравець [та ін.] ; Національний технічний університет “Харківський політехнічний інститут”. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2006. - 232 с. : іл., табл. - Бібліогр.: 73 назв. - Б. ц.
УДК
ББК 32.813

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

Дод.точки доступу:
Кравець, Валерій Олексійович
Хавіна, Інна Петрівна (кандидат технічних наук)
Хавина, Инна Петровна (кандидат технических наук)
Колибін, Юрій Миколайович
Нікітіна, Людмила Олексіївна
Зиков, Ігор Семенович
Зыков, Игорь Семенович
Філоненко, Алевтина Михайлівна
Филоненко, Алевтина Михайловна
Хавін, Валерій Львович (кандидат технічних наук ; 03.09.1947)
Хавин, Валерий Львович (кандидат технических наук ; 03.09.1947)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

8.


    Гавриленко, Світлана Юріївна (кандидат технічних наук).
    Логіка дискретних автоматів [Електронний ресурс] : для студ. комп’ютерних спец. вищих навч. закладів / С. Ю. Гавриленко, А. М. Клименко, В. І. Носков ; рец.: М. В. Гунбін, А. П. Плахтєєв ; Національний технічний університет “Харківський політехнічний інститут”. - Електрон. текстові дан. - Харків : НТУ “ХПІ”, 2014. - 129 с. - ISBN 978-966-8944-74-1 : Б. ц.

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

Дод.точки доступу:
Клименко, Алла Миколаївна (кандидат технічних наук)
Клименко, Алла Николаевна (кандидат технических наук)
Носков, Валентин Іванович (доктор технічних наук)
Носков, Валентин Иванович (доктор технических наук)
Гунбін, Михайло Володимирович (кандидат технічних наук) \рец.\
Гунбин, Михаил Владимирович (кандидат технических наук)
Плахтєєв, А. П. \рец.\
Гавриленко, Светлана Юрьевна (кандидат технических наук)
Національний технічний університет “Харківський політехнічний інститут”


Знайти схожі

9.


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

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

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


Знайти схожі

10.


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

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

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


Знайти схожі

 1-10    11-20   21-23 
 

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