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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
у знайденому
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (17)Автореферати дисертацій (2)Реферативна база даних (63)
Пошуковий запит: (<.>U=З970.5-018$<.>)
Загальна кількість знайдених документів : 64
Представлено документи з 1 до 20
...
1.
ВА690430

Численное программное обеспечение интеллектуального MIMD-компьютера Инпарком [Текст] / А. Н. Химич [и др.] ; ред. С. Е. Ноткина ; НАН Украины, Ин-т кибернетики им. В. М. Глушкова. - К. : Наукова думка, 2007. - 222 с.: рис. - Библиогр.: с. 214-218. - ISBN 978-966-00-0679-9

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


Дод. точки доступу:
Химич, Александр Николаевич; Мова, Виктор Иванович; Стрюченко, Владимир Артемович; Чистякова, Тамара Васильевна; Герасимова, Татьяна Алексеевна; Ноткина, С. Е. (ред.); Национальная академия наук Украины; Институт кибернетики имени В. М. Глушкова (Киев)

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

2.
ВА633731
Демидов, Андрей Константинович.
Функциональное и логическое программирование [Текст] : учеб. пособие / А. К. Демидов ; Южно-Уральский гос. ун-т. Кафедра "Прикладная математика". - Челябинск : Издательство ЮУрГУ, 2000. - 59 с. - Библиогр.: с. 58. - ISBN 5-696-01800-9

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


Дод. точки доступу:
Южно-Уральский гос. университет. Кафедра "Прикладная математика"

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

3.
В353089/1
Месюра, Володимир Іванович
Функціональне та логічне програмування [Текст] : [навч. посіб.] / В. І. Месюра, Н. В. Лисак, О. І. Суприган ; Вінниц. нац. техн. ун-т. - Вінниця : ВНТУ, 2011 .
Ч. 1 : Логічне програмування мовою Пролог : лаб. практикум. - 2011. - 105 с. : рис., табл. - Бібліогр.: с. 100. - 75 прим.

Рубрикатор НБУВ:
 З970.5-018.2 PROLOG я73-5 


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

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

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

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


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

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

5.
Р118557

Функціональне та логічне програмування [Текст] : лаб. практикум для студ. напряму 0915 "Комп'ютерна інженерія" / Нац. авіац. ун-т ; [уклад. О. М. Глазок]. - К. : НАУ, 2011. - 31 с. - Бібліогр.: с. 31. - 100 прим.

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


Дод. точки доступу:
Глазок, Олексій Михайлович (уклад.); Національний авіаційний університет (Київ)

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

6.
ВА724282
Партас, Віктор Кирилович.
Функціональне та логічне програмування [Текст] : метод. вказівки для студ. напрямку "Комп'ютерні науки" / В. К. Партас, О. В. Гайдаєнко ; Нац. ун-т кораблебудування ім. адмірала Макарова. - Миколаїв : НУК, 2009. - 57 с. : рис., табл. - Бібліогр.: с. 55. - 100 прим.

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


Дод. точки доступу:
Гайдаєнко, Оксана Володимирівна; Національний університет кораблебудування імені адмірала Макарова (Миколаїв)

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

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

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


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

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

8.
ДС40244
Данг Чыонг Шон
Разработка интеллектуальной системы программирования [Текст] : дис...канд.физ.-мат.наук:05.13.11 / Данг Чыонг Шон ; Молдавский ун-т. - Кишинев, 1992. - 95 л. - Библиогр.:л.87-95

Рубрикатор НБУВ:
 З970.5-018.2 
Тематичні рубрики:
 Мови та системи програмування  


Дод. точки доступу:
Молдавский университет

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

9.
ВА588670

Програмування в Пролозі [Текст] : навч. посібник для студ. ф-ту кібернетики / М. М. Глибовець [и др.] ; Київський ун-т ім. Тараса Шевченка. - К. : Київський ун-т, 1998. - 110 с. - ISBN 966594072-4

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


Дод. точки доступу:
Глибовець, Микола Миколайович; Кравченко, Іван Васильович; Олецький, Олексій Віталійович; Терещенко, Василь Миколайович; Київський університет імені Тараса Шевченка

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

10.
ВА615444

Программные средства интеллектуальных систем [Текст] / А. Е. Городецкий [и др.]. - СПб. : Изд-во СПбГТУ, 2000. - 171 с.

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


Дод. точки доступу:
Городецкий, Андрей Емельянович; Дубаренко, Владимир Ваисльевич; Тарасова, Ирина Леонидовна; Шереверов, Александр Владимирович

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

11.
ВА697623
Никитина, Людмила Алексеевна.
Программирование в среде Turbo Prolog 2.0 [Текст] : лабораторный практикум по дисциплине "Алгоритмические языки систем искусственного интеллекта" / Л. А. Никитина [и др.] ; Национальный технический ун-т "Харьковский политехнический ин-т". - Х. : НТУ "ХПИ", 2007. - 92 c. - Библиогр.: с. 91. - ISBN 978-966-593-566-7

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


Дод. точки доступу:
Хавина, Инна Петровна; Заволодько, Анна Эдвардовна; Национальный технический университет "Харьковский политехнический институт" (Харьков)

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

12.
ВА697624
Никитина, Людмила Алексеевна.
Программирование в среде Turbo Prolog 2.0 [Текст] : текст лекций по дисциплине "Алгоритмические языки систем искусственного интеллекта" / Л. А. Никитина [и др.] ; Национальный технический ун-т "Харьковский политехнический ин-т". - Х. : НТУ "ХПИ", 2007. - 100 с. - Библиогр.: с. 98. - ISBN 978-966-593-567-4

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


Дод. точки доступу:
Хавина, Инна Петровна; Заволодько, Анна Эдвардовна; Национальный технический университет "Харьковский политехнический институт" (Харьков)

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

13.
ВА816154

Практичне програмування мовою Visual Prolog [Текст] : навч. посіб. для студентів ВНЗ, які навчаються за спец. "Програмне забезпечення систем" / [Лариса Дейнега та ін.] ; Запоріз. нац. техн. ун-т. - Запоріжжя : ЗНТУ, 2016. - 235 с. : рис. - Бібліогр.: с. 227-229. - 300 прим. - ISBN 978-617-529-115-3

Рубрикатор НБУВ:
 З970.5-018.2 Visual Prolog я73 
УДК:
 004.434:004.8](075.8) 
Тематичні рубрики:
 Інтелектуальні системи 


Дод. точки доступу:
Дейнега, Лариса Юріївна; Камінська, Жанна Костянтинівна; Левада, Ірина Василівна; Сердюк, Сергій Микитович; Запорізький національний технічний університет

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

14.
ДС128253
Афонін, Андрій Олександрович.
Повні методи пошуку виведення в системах логічного програмування [Текст] : дис. ... канд. фіз.-мат. наук : 01.05.01 / Афонін Андрій Олександрович ; Нац. ун-т "Києво-Могил. акад.". - К., 2011. - 118 арк. - Бібліогр.: арк. 114-118.

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


Дод. точки доступу:
"Києво-Могилянська академія", національний університет

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

15.
РА382610
Афонін, Андрій Олександрович.
Повні методи пошуку виведення в системах логічного програмування [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Афонін Андрій Олександрович ; Київ. нац. ун-т ім. Т. Шевченка. - К., 2011. - 18 с.

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


Дод. точки доступу:
Київський національний університет імені Тараса Шевченка

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

16.
ВА629065
Раскина, И. И..
Основы логического программирования [Текст] : учеб.-метод. пособие / И. И. Раскина, О. В. Шкабура ; Омский гос. педагогический ун-т. - Омск : Издательство ОмГПУ, 2001. - 161 с. - Библиогр.: с. 158-159. - ISBN 5-8268-0527-7

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


Дод. точки доступу:
Шкабура, О. В; Омский гос. педагогический университет

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

17.
РА338265
Амбарцумян, Арам Марленович.
Об интерпретаторах систем логического программирования [Текст] : автореф. дис... канд. физ.-мат. наук: 05.13.04 / Амбарцумян Арам Марленович ; Институт проблем информатики и автоматизации НАН РА. - Ереван, 2005. - 14 с.

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


Дод. точки доступу:
Институт проблем информатики и автоматизации НАН РА

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

18.
РА390370
Саркисян, Лусине Арамаисовна.
Об SLDNF-резолюции в логическом программировании с отрицанием [Текст] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Саркисян Лусине Арамаисовна ; Ереван. гос. ун-т. - Ереван, 2012. - 19 с.

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


Дод. точки доступу:
Ереванский государственный университет

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

19.
РА390377
Айказян, Левон Аршалуйсович.
О некоторых алгоритмических проблемах логического программирования [Text] : автореф. дис. ... канд. физ.-мат. наук : 01.01.09 / Айказян Левон Аршалуйсович ; Ереван. гос. ун-т. - Ереван, 2012. - 18 с. - Текст вірм.

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


Дод. точки доступу:
Ереванский государственный университет

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

20.
ВА855026
Димова, Ганна Олегівна.
Моделі і методи інтелектуального аналізу даних [Текст] : навч. посіб. / Г. О. Димова, О. В. Ларченко ; Херсон. держ. аграр.-екон. ун-т. - Херсон : Вишемирський [вид.], 2021. - 141 с. : рис. - Бібліогр.: с. 140-141. - 300 прим. - ISBN 978-617-7941-60-5

Рубрикатор НБУВ:
 З970.5-018.2 Deducter Studio я73 
УДК:
 004.434:004.8Deducter Studio(075.8) 
Тематичні рубрики:
 Інтелектуальні системи 


Дод. точки доступу:
Ларченко, Оксана Валеріївна; Херсонський державний аграрно-економічний університет

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

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

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