Структурні підрозділи

Кафедра: НДС Проблем програмування


ID: 6730
Кількість показів: 1622
дата змінення: 27.11.2014 12:11:01
Ким змінено (ім'я): (kya) Юлія Костюченко
Тип
Назва документу
Автори
Рік видання
Джерело
1
Тези
Simulation of fractional Brownian motion with given reliability and accuracy in the space C([0, T ])


Факультет комп'ютерних наук та кібернетики
Механіко-математичний факультет

НДЛ Диференціальних рівнянь та їх застосування у механіці
Теорії ймовірностей, статистики та актуарної математики
Інтелектуальних програмних систем
НДС Проблем програмування
Системного аналізу і теорії прийняття рішень
Теоретичної кібернетики
Василик Ольга Іванівна
Пашко Анатолій Олексійович
2018
Stochasic Equations, Limit Theorems and Statistics of Stochastic Processes: International Conference
c.71-72
2
Праці конференції
Using spectral representation for simulation of fractional Brownian motion in C([0,1])


Факультет комп'ютерних наук та кібернетики
Механіко-математичний факультет

НДЛ Диференціальних рівнянь та їх застосування у механіці
Теорії ймовірностей, статистики та актуарної математики
Інтелектуальних програмних систем
НДС Проблем програмування
Системного аналізу і теорії прийняття рішень
Теоретичної кібернетики
Василик Ольга Іванівна
Пашко Анатолій Олексійович
2018
Ukrainian Conference on Applied Mathematics (UCAM): Міжнародна конференція
c.116-120
3
Праці конференції
A Formal Proof of Properties of a Presentation System using Isabelle


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
2017
4
Наукова стаття
Preface


Факультет комп'ютерних наук та кібернетики
НДЛ Високопродуктивних систем обробки інформації
НДС Проблем програмування
Нікітченко Микола Степанович
2017
Communications in Computer and Information Science
5
Дисертаційна робота
Методика формування інформатичних компетентностей у майбутніх правознавців


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
2016
Вид-во НПУ імені М. П. Драгоманова
6
Наукова стаття
Оценки сложности алгоритмов реализации теоретико-множественных операций в табличных алгебрах


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Канарська Ірина Сергіївна
2016
Доповіді Національної академії наук України
т.1 c.17-23
7
Наукова стаття
Складність алгоритмів перетину, обєднання та різниці в мультитаблицях


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Канарська Ірина Сергіївна
2016
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.6-11
8
Наукова стаття
Точные оценки временной сложности реализации алгоритмов теоретико-множественных операций в табличных алгебрах


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теоретичної кібернетики
Теорії та технології програмування



Канарська Ірина Сергіївна
2017
Кібернетика і системний аналіз
т.53 c.3-15
9
Підручник
Технологія програмування інформаційних систем: Методи, засоби, інструменти


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Омельчук Людмила Леонідівна
Нікітченко Микола Степанович

2015
ВПЦ "Київський університет"
10
Праці конференції
Analysis of Nominative Data Sets Structure


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.65-76
11
Наукова стаття
Axiomaticsformultivalueddependenciesintabledatabases:correctness,completeness, completeness criteria


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2015
Springer International Publishing Switzerland Brunów, Poland.
c.45-55
12
Тези
Composition-Nominative Logics as Institutions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.370-371
13
Тези
DSS: state of art and points of growth


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Теорії та технології програмування
Наконечний Олександр Григорович

Донченко Володимир Степанович
Зінько Петро Миколайович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.2 c.30
14
Праці конференції
Institution for Pure First-Order Composition-Nominative Logic


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Foundations of Informatics (FOI): International workshop
c.180-197
15
Наукова стаття
Linearization algorithms CLOS and LOOPS of the classes in programming languages: the formal definitions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.176-185
16
Наукова стаття
Linearization algoritmhms CLOS and LOOPS of the classes in programming languages: the formal definitions


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2015
International Scientific Conference on Informatics . INFORMATICS'2015, November 18th – 20h, 2015 in Poprad , Slovakia
c.63-66
17
Тези
Philosophical Aspects of Programming Theory Development


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
2015
Handbook of the World Congress and School on Universal Logic
c.210-211
18
Наукова стаття
Set-theoretic Analysis of Nominative Data


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Нікітченко Микола Степанович
2015
Computer Science Journal of Moldova
т.23 c.270-288
19
Наукова стаття
Аксiоматика багатозначних залежностей табличних баз даних


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Доповіді НАН України
т.6 c.24-29
20
Тези
Аксіоматика багатозначних залежностей табличних баз даних: повнота та її критерії


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.35-43
21
Праці конференції
Документо-орієнтовані СУБД класу NOSQL: модель даних та семантика методу Find()


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Інтелектуальні технології в системному програмуванні. Всеукраїнська науково-практична конференція молодих учених та студентів
c.54-56
22
Тези
Загальна модель успадкування


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.25-28
23
Праці конференції
Информационная система «Поступление в Киевский университет»: ER-модель предметной области, схема базы данных, интерфейсные решения


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Knowledge - Dialogue - Solution (KDS): International Conference
c.54-62
24
Праці конференції
Композиційна семантика базових правил підстановки B методу


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Інтелектуальні технології в системному програмуванні. Всеукраїнська науково-практична конференція молодих учених та студентів
c.90
25
Наукова стаття
Критерії збереження активного домену сигнатурними операціями табличних алгебр


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теоретичної кібернетики
Теорії та технології програмування
Канарська Ірина Сергіївна


2015
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.94-98
26
Наукова стаття
Логики частичных предикатов, индуцированные трехзначными логиками Клини


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Шишацька Олена Володимирівна
2015
Штучний інтелект та інтелектуальні системи: Міжнародна науково-технічна конференція (AIIS)
c.67-72
27
Тези
Математичесие основания современных реляционных СУБД


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Международный научно-практический форум «Наука и бизнес»
c.52-55
28
Тези
Математические основания современных реляционных СУБД


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Международный научно-практический форум «Наука и бизнес»
c.128-132
29
Тези
Модель даннях документо-ориентированной системы управления базами даннях MONGODB


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.44-7
30
Праці конференції
О языке запросов информационной системы «Поступление в Киевский университет»


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.61-66
31
Тези
Огляд типів рекомендаційних систем та використання баз даних для підвищеня їх продуктивності


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2014
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.29-34
32
Тези
Оптимізація параметрів статистичних моделей випадкових полів


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Системного аналізу і теорії прийняття рішень
Пашко Анатолій Олексійович
2015
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.2 c.121-122
33
Тези
Системы поддержки принятия решений: ретроспективы и перспективы


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
НДС проблем системного аналізу
Системного аналізу і теорії прийняття рішень
Теорії та технології програмування
Наконечний Олександр Григорович
Донченко Володимир Степанович

Зінько Петро Миколайович
2015
Наука и бизнес. Экономика знаний. Международный научно-практический форум.
т.2 c.196-200
34
Тези
Ситемы поддержки принеятия решений: ретроспективы и перспективы


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Донченко Володимир Степанович
Зінько Петро Миколайович
Наконечний Олександр Григорович
2015
Международный научно-практический форум «Наука и бизнес»
c.196-200
35
Наукова стаття
Современное состояние теории мультимножеств с сущностной точки зрения


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування

Гришко Юлія Олександрівна

2015
36
Тези
Формальна модель даних та семантика запитів для документо-орієнтованих СУБД


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Матеріали міжнародної науково-практичної конференції
c.58-59
37
Наукова стаття
Формальні методи розробки програмного забезпечення Z, B, VDM: порівняльний аналіз


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2015
Міжнародна науково-практична конференція
c.19-25
38
Наукова стаття
Числення секвенційного типу для перевірки виконуваності в логіках квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2015
Вісник Київського національного університету імені Тараса Шевченка. Кібернетика
т.1 c.30-38
39
Матеріали конференції
Logics of partial and multi-valued predicates with extended renominations


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович
2014
Problems of Decision Making under Uncertainties (PDMU): Міжнародна конференція
т.24 c.91
40
Наукова стаття
On some relations between sets of mappings of a set in factor-rings


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.113-117
41
Наукова стаття
V-сингулярні семантичні моделі першопорядкових логік


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.201-210
42
Праці конференції
Алгебри квазіарних відношень та їх властивості


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович

2014
International Conference KDS-2014 “International Models of Knowledge”
т.20 c.80-86
43
Матеріали конференції
Безкванторні логіки часткових квазіарних предикатів


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович

2014
Теорія прийняття рішень: міжнародна школа-семінар
т.7 c.184-185
44
Наукова стаття
Вироджені семантичні моделі першопорядкових логік


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.1 c.169-173
45
Наукова стаття
Композиційно-номінативні логіки часткових та неоднозначних предикатів


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович
2014
Компьютерная математика
т.1 c.93-102
46
Матеріали конференції
Методы анализа статистической эквивалентности отображений конечных множеств


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
2014
Международная научная конференция Компьютерные науки и информационные технологи
т.17 c.291-293
47
Праці конференції
Модели и методы обеспечения безопасности программных средств


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
2014
Соблюдение стандартов справедливого судопроизводства в условиях реформирования законодательства Республики Казахстан
т.1 c.44-47
48
Матеріали конференції
Модели и методы решения проблемы проверки выполнимости формул разрешимых теорий (обзор)


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Международная научная конференция Компьютерные науки и информационные технологи
т.17 c.297-305
49
Матеріали конференції
Обзор современной теории нормализации в реляционных базах данных


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2014
Проблемы теоретической кибернетики
т.17 c.39-44
50
Наукова стаття
Першопорядкові композиційно-номінативні логіки із узагальненими реномінаціями


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2014
Проблеми програмування
т.2 c.17-28
51
Наукова стаття
Реализация работы нестандартных типов данных в Framework Django типа данных tree


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


Поляков Сергій Анатолійович
2015
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
c.26-32
52
Наукова стаття
Реномінативні композиційно-номінативні логіки з предикатами рівності


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович

2014
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.3 c.156-163
53
Матеріали конференції
Реномінативні логіки часткових квазіарних предикатів з рівністю


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування
Шкільняк Степан Степанович

2014
XXIII Міжнародна конференція "Problems of Decision Making under Uncertainties" (PDMU-2014), Мукачево, 12-16 травня 2014 р.
т.23 c.190-191
54
Праці конференції
Models of Class Specification Intersection of Object-Oriented Programming


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2013
ICT in Education, Research and Industrial Applications: Integration, Harmonization, and Knowledge Transfer (ICTERI): Міжнародна конференція
т.9 c.590-594
55
Наукова стаття
Models of Class Specification Junction and Intersection in Object-Oriented Paradigm


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2013
INFORMATICS - International Conference
т.12 c.134-145
56
Наукова стаття
Застосування теорії мультимножин


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Гришко Юлія Олександрівна

2013
Радіоелектронні і комп'ютерні системи
c.204.0000
57
Праці конференції
Критерии совместности функций


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування




2013
Dynamical System Modeling and Stability Investigation: International Conference
т.9 c.145
58
Наукова стаття
Логіки часткових предикатів з розширеними реномінаціями та кванторами


Факультет комп'ютерних наук та кібернетики
Інтелектуальних програмних систем
НДС Проблем програмування
Теорії та технології програмування
Нікітченко Микола Степанович
Шкільняк Степан Степанович
Шкільняк Оксана Степанівна
2013
Вісник Київського національного університету імені Тараса Шевченка. Фізико-математичні науки
т.2 c.210-215
59
Наукова стаття
Модель операции пересечения спецификаций классов объектно-ориентированного программирования


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2013
Radioelectronics and Communications Systems
т.5 c.210-213
60
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладанняФормальное определение модели данных, используемой в NoSQL базах данных


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування

Поляков Сергій Анатолійович
Гришко Юлія Олександрівна
2013
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.29-33
61
Наукова стаття
Розширена мультимножинна таблична алгебра


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2011
62
Матеріали конференції
Розширення табличної алгебри: мультимножинна таблична алгебра


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування
Теорії та технології програмування


2012
63
Наукова стаття
Теорія мультимножин та її застосування


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування

Гришко Юлія Олександрівна
2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.54-68
64
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладання


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування


2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.69-72
65
Матеріали конференції
Уточнення множинного успадкування у вигляді операції накладанняФормальное определение модели данных, используемой в NoSQL базах данных


Факультет комп'ютерних наук та кібернетики
НДС Проблем програмування


2012
Теоретичні та прикладні аспекти побудови програмних систем: Міжнародна науково-практична конференція
т.1 c.69-72

Повернення до списку

Вгору