Простий
пошук
Розширений
пошук
Покажчики
Професійний
пошук
Рубрикатор
НБУВ
Розподілений
пошук

Бази даних

Книжкові видання та компакт-диски - результати пошуку

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Автореферати дисертацій (1)Реферативна база даних (3)Наукова періодика України (7)
Пошуковий запит: (<.>A=Процай Н$<.>)
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
1.
РА383018
Процай, Наталія Тимофіївна.
Моделі і методи аналізу та синтезу логічних мереж на основі алгебри предикатів і предикатних операцій [Текст] : автореф. дис. ... канд. техн. наук : 01.05.02 / Процай Наталія Тимофіївна ; Нац. техн. ун-т "Харк. політехн. ін-т". - Х., 2011. - 20 с. : рис.

Рубрикатор НБУВ:
 В123 
 З813.12 
 З970.66 
Тематичні рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Моделювання дискретних систем 
 Комп'ютерне оброблення мовної інформації 


Дод. точки доступу:
"Харківський політехнічний інститут", національний технічний університет

Видання зберігається у :
Основний фонд

2.
ДС128494
Процай, Наталья Тимофеевна.
Модели и методы анализа и синтеза логических сетей на основе алгебры предикатов и предикатных операций [Текст] : дис. ... канд. техн. наук : 01.05.02 / Процай Наталья Тимофеевна ; Харьк. нац. ун-т радиоэлектроники. - Х., 2011. - 153 л. - Бібліогр.: арк. 139-153.

Рубрикатор НБУВ:
 В123 
 З813.12 
 З970.66 
Тематичні рубрики:
 Логічні числення. Числення висловлювань і предикатів 
 Моделювання дискретних систем 
 Комп'ютерне оброблення мовної інформації 


Дод. точки доступу:
Харьковский национальный университет радиоэлектроники

Видання зберігається у :
Основний фонд

3.
Р127956

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

Рубрикатор НБУВ:
 В123 я73 
Тематичні рубрики:
 Логічні числення. Числення висловлювань і предикатів. Навчальні видання для студентів 


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

Видання зберігається у :
Основний фонд

4.
ВА860323

Практикум з курсу "Математичний аналіз". Теорія границь [Текст] : навч.-метод. посіб. для студентів спец. 113 - Прикладна математика та 122 - Комп'ютерні науки / [О. В. Костюк та ін.] ; Нац. техн. ун-т "Харків. політехн. ін-т". - Харків : Друкарня Мадрид, 2022. - 195 с. : рис. - Бібліогр.: с. 194-195. - 50 прим. - ISBN 978-617-7988-90-7

Рубрикатор НБУВ:
 В161.12 я73-4 
УДК:
 517.1(076) 
Тематичні рубрики:
 Теорія границь 


Дод. точки доступу:
Костюк, Ольга Василівна; Процай, Наталія Тимофіївна; Галуза, Олексій Анатолійович; Тевяшева, Ольга Андріївна; Тоніца, Олег Володимирович; Асландуков, Микола Олексійович; "Харківський політехнічний інститут", національний технічний університет

Видання зберігається у :
Основний фонд

5.
ВА860327

Практикум з курсу "Математичний аналіз". Диференціальне числення [Текст] : навч.-метод. посіб. для студентів спец. 113 - Прикладна математика та 122 - Комп'ютерні науки / [О. В. Костюк та ін.] ; Нац. техн. ун-т "Харків. політехн. ін-т". - Харків : Друкарня Мадрид, 2022. - 291 с. : рис. - Бібліогр.: с. 290-291. - 50 прим. - ISBN 978-617-7988-91-4

Рубрикатор НБУВ:
 В161.21 я73-4 
УДК:
 517.2(076) 
Тематичні рубрики:
 Диференціальне числення. Практикум для студентів 


Дод. точки доступу:
Костюк, Ольга Василівна; Процай, Наталія Тимофіївна; Галуза, Олексій Анатолійович; Голотайстрова, Галина Олександрівна; Тоніца, Олег Володимирович; Асландуков, Микола Олексійович; Гомозов, Євген Павлович; Мезерна, Марія Віталіївна; Колбасін, Владислав Олександрович; "Харківський політехнічний інститут", національний технічний університет

Видання зберігається у :
Основний фонд

6.
ВА860315

Практикум з курсу "Математичний аналіз". Інтегральне числення функції однієї змінної [Текст] : навч.-метод. посіб. для студентів спец. 113 - Прикладна математика та 122 - Комп'ютерні науки / [О. В. Костюк та ін.] ; Нац. техн. ун-т "Харків. політехн. ін-т". - Харків : Друкарня Мадрид, 2022. - 197 с. : рис. - Бібліогр.: с. 196-197. - 50 прим. - ISBN 978-617-7988-92-1

Рубрикатор НБУВ:
 В161.22 я73-4 
УДК:
 517.3(076) 
Тематичні рубрики:
 Інтегральне числення. Збірники задач і вправ для студентів 


Дод. точки доступу:
Костюк, Ольга Василівна; Процай, Наталія Тимофіївна; Галуза, Олексій Анатолійович; Тоніца, Олег Володимирович; Гомозов, Євген Павлович; Пікалова, Валентина Валеріївна; "Харківський політехнічний інститут", національний технічний університет

Видання зберігається у :
Основний фонд

 
Відділ інформаційно-комунікаційних технологій
Пам`ятка користувача

Всі права захищені © Національна бібліотека України імені В. І. Вернадського