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

Бази даних

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

Книжкові видання та компакт-диски
Журнали та продовжувані видання
Автореферати дисертацій
Реферативна база даних
Наукова періодика України
Тематичний навігатор
Авторитетний файл імен осіб
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком виданнявидом документа
 Знайдено в інших БД:Журнали та продовжувані видання (2)Автореферати дисертацій (1)Реферативна база даних (22)Наукова періодика України (24)Авторитетний файл імен осіб (1)
Пошуковий запит: (<.>A=Провотар О$<.>)
Загальна кількість знайдених документів : 6
Представлено документи з 1 до 6
1.
ДС55722
   Провотар, Олександр Іванович.
Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 211 л.

Рубрикатор НБУВ:
 В152.53 
 З973-018.01 с11 
Тематичні рубрики:
 Категорії. Функтори 
 Комп'ютери та програмування 


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

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

2.
РА295837
   Провотар, Олександр Іванович.
Категорні методи в теорії метаматематичних моделей рекурсії [Текст] : автореф. дис... д-ра фіз.-мат. наук: 01.05.01 / Провотар Олександр Іванович ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - К., 1997. - 29 с.

Рубрикатор НБУВ:
 В152.53 
 З973-018.01 с11 
Тематичні рубрики:
 Категорії. Функтори 
 Комп'ютери та програмування 


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

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

3.
ВС50567
Кривий, Сергій Лук'янович.
Вступ до некласичної математичної логіки [Текст] : навч. посіб. для студ. ун-тів, які навчаються за напрямом підготов. "Комп'ютерні науки" / С. Л. Кривий, О. І. Провотар ; Київ. нац. ун-т ім. Т. Шевченка. - К. : Київський ун-т, 2010. - 205 с. : рис. - Бібліогр.: с. 199-201. - 200 прим. - ISBN 978-966-439-209-6

Рубрикатор НБУВ:
 В128 я73 
Тематичні рубрики:
 Некласичні логічні системи 


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

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

4.
В353632/1
Сергієнко, Іван Васильович
Алгебраїчні аспекти інформаційних технологій [Текст] : [монографія] / І. В. Сергієнко, С. Л. Кривий, О. І. Провотар ; Нац. акад. наук України, Київ. нац. ун-т ім. Тараса Шевченка, Ін-т кібернетики ім. В. М. Глушкова НАН України. - К. : Наукова думка, 2011 .
Ч. 1. - 2011. - 400 с. : рис., табл. - Бібліогр.: с. 387-392 . - 300 прим. - ISBN 978-966-00-1165-6

Рубрикатор НБУВ:
 В152.7 
 З970.4 
Тематичні рубрики:
 Загальна теорія алгебраїчних систем. Універсальні алгебри 
 Інформаційні системи та технології 


Дод. точки доступу:
Кривий, Сергій Лук'янович; Провотар, Олександр Іванович; Національна академія наук України; Інститут кібернетики імені В. М. Глушкова(Київ)Київський національний університет імені Тараса Шевченка

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

5.
ВА758467
   Провотар, Олександр Іванович.
Приклади й задачі з теорії алгоритмів і математичної логіки [Текст] : навч. посіб. / О. І. Провотар, О. С. Шкільняк ; Київ. нац. ун-т ім. Тараса Шевченка. - К. : Київський університет, 2012. - 167 с. - Бібліогр.: с. 166-167. - 100 прим. - ISBN 978-966-439-524-0

Рубрикатор НБУВ:
 В121 я73-4 
Тематичні рубрики:
 Математична логіка. Збірники задач і вправ для студентів 


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

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

6.
РА418996
Провотар, Ольга Олександрівна.
Моделі та техніки штучного інтелекту в задачах біоінформатики [Текст] : автореф. дис. ... канд. фіз.-мат. наук : 01.05.01 / Провотар Ольга Олександрівна ; НАН України, Ін-т кібернетики ім. В. М. Глушкова. - Київ, 2015. - 18 с.

Рубрикатор НБУВ:
 З810.4 
 Е0*725.112.1 в661 
 Р.с 
Тематичні рубрики:
 Теорія штучного інтелекту 
 Загальна біологія 
 Методика і техніка науково-дослідної роботи з охорони здоров'я та медицини 


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

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

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

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