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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Реферативна база даних (3)
Пошуковий запит: (<.>U=З970.5-018 я73-1<.>)
Загальна кількість знайдених документів : 9
Представлено документи з 1 до 9
1.
ВА633711
Серов, Владимир Васильевич.
Алгоритмические языки в САПР. Логическое программирование [Текст] : учеб. пособие / В. В. Серов ; Российский заочный ин-т текстильной и легкой промышленности. Кафедра информатики. - М. : [б.и.], 2001. - 50 с.: рис. - ISBN 5-85507-199-5
Авт. указ. на обор. тит. л.

Рубрикатор НБУВ:
 З970.5-018 я73-1 
Тематичні рубрики:
 Інтелектуальні системи 


Дод. точки доступу:
Российский заочный институт текстильной и легкой промышленности. Кафедра информатики

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

2.
В343227/Ч. 2
   Устенко, Сергій Анатолійович
Функціональне та логічне програмування [Текст] : навч. посіб. / С. А. Устенко. - Миколаїв : Український держ. морський технічний ун-т, 1998 .
Ч. 2 : Логічне програмування. - [Б. м.] : [б.в.], 1998. - 50 с.

Рубрикатор НБУВ:
 З970.5-018 я73-1 
Тематичні рубрики:
 Інтелектуальні системи 


Дод. точки доступу:
Український держ. морський технічний університет

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

3.
ВА611944
Ободан, Наталія Іллівна.
Створення інтелектуальної системи [Текст] : навчальний посібник / Н. І. Ободан, Н. А. Гук ; Дніпропетровський національний ун-т. - Д. : РВВ ДНУ, 2001. - 84 с.

Рубрикатор НБУВ:
 З970.5-018 я73-1 
Тематичні рубрики:
 Інтелектуальні системи 


Дод. точки доступу:
Гук, Наталія Анатоліївна; Дніпропетровський національний університет

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

4.
ВС47195
Різник, Олег Яремович.
Логічне програмування [Текст] : навч. посіб. для студ. базових напрямів "Комп'ютерні науки та "Видавничо-поліграфічна справа" / О. Я. Різник ; Національний ун-т "Львівська політехніка". - Л. : Видавництво НУ "Львівська політехніка", 2008. - 332 c. - ISBN 978-966-553-736-6

Рубрикатор НБУВ:
 З970.5-018 я73-1 
Тематичні рубрики:
 Інтелектуальні системи 


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

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

5.
ВА770986
   Рамський, Ю. С.
Логічні основи інформатики [Текст] : [навч. посіб.] / Ю. С. Рамський. - Вид. 2-ге, допов. - К. : НПУ ім. М. П. Драгоманова, 2013. - 295 с. : рис., табл. - Бібліогр.: с. 292-295. - 300 прим. - ISBN 978-966-660-864-5

Рубрикатор НБУВ:
 З970.5-018 я73-1 
 З973-047.20 я73-1 
Тематичні рубрики:
 Інтелектуальні системи 
 Комп'ютери та програмування 


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

6.
ВА774597
Месюра, Володимир Іванович.
Математичні основи логічного програмування [Текст] : [навч. посіб.] / В. І. Месюра, Н. В. Лисак, О. І. Суприган ; Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2013. - 93 с. : табл. - Бібліогр.: с. 93. - 75 прим.

Рубрикатор НБУВ:
 З970.5-018 я73-1 
Тематичні рубрики:
 Інтелектуальні системи 


Дод. точки доступу:
Лисак, Наталія Володимирівна; Суприган, Олена Іванівна; Вінницький національний технічний університет

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

7.
ВС62723
   Заяць, Василь Михайлович.
Логічне і функціональне програмування [Текст] : навч. посіб. / В. М. Заяць, М. М. Заяць ; Нац. ун-т "Львів. політехніка". - Львів ; Кам'янець-Подільський : Гордукова І. Є., 2016. - 398 с. : рис. - Бібліогр.: с. 378-379. - 300 прим. - ISBN 978-617-7381-38-8

Рубрикатор НБУВ:
 З970.5-018 я73-1 
 З973-018.022.08 я73-1 
УДК:
 004.32(075.8) 
Тематичні рубрики:
 Інтелектуальні системи 
 Комп'ютери та програмування 


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

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

8.
ВС64129
   Заяць, Василь Михайлович.
Логічне і функціональне програмування. Системний підхід [Текст] : підруч. для студентів баз. напряму підгот. "Комп'ютерні науки", "Комп'ютерна інженерія" та "Програмна інженерія" / В. М. Заяць, М. М. Заяць ; Нац. ун-т вод. госп-ва та природокористування. - 2-ге вид., випр. та допов. - Рівне : НУВГП, 2018. - 421 с. : рис., табл. - Бібліогр.: с. 394-395. - 500 прим. - ISBN 978-966-327-375-4

Рубрикатор НБУВ:
 З970.5-018 я73-1 
 З973-018.022.08 я73-1 
УДК:
 004.432.42:004.8](075.8) 
 004.434:004.8](075.8) 
Тематичні рубрики:
 Інтелектуальні системи 
 Комп'ютери та програмування 


Дод. точки доступу:
Заяць, Марія Михайлівна; Національний університет водного господарства та природокористування (Рівне)

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

9.
ВС67748
Басюк, Тарас Михайлович.
Мови опису онтологій [Текст] : навч. посіб. / Т. М. Басюк, В. В. Литвин ; Нац. ун-т "Львів. політехніка". - Львів : Вид-во Львів. політехніки, 2020. - 273 с. : рис., табл. - Бібліогр.: с. 267-273. - 300 прим. - ISBN 978-966-941-418-2

Рубрикатор НБУВ:
 З970.43-01 я73-1 
 З970.5-018 я73-1 
УДК:
 04.434:004.82(075.8) 
Тематичні рубрики:
 Інформаційні пошукові системи (ІПС) 
 Інтелектуальні системи 


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

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

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

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