Титульні сторінки та зміст
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2017 |
| Формат: | Стаття |
| Мова: | Українська |
| Опубліковано: |
Інститут програмних систем НАН України
2017
|
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/144471 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Титульні сторінки та зміст // Проблеми програмування. — 2017. — № 2. — С. 1-2. — укр. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1860255891493748736 |
|---|---|
| citation_txt | Титульні сторінки та зміст // Проблеми програмування. — 2017. — № 2. — С. 1-2. — укр. |
| collection | DSpace DC |
| container_title | Проблеми програмування |
| first_indexed | 2025-12-07T18:49:11Z |
| format | Article |
| fulltext |
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ISSN 1727-4907
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
НАУКОВИЙ ЖУРНАЛ
P R O B L E M S
IN PROGRAMMING
SCIENTIFIC JOURNAL
2017
№ 2
Теми випуску:
Теоретичні та методологічні основи
програмування
Інструментальні засоби та середовища
програмування
Методи та засоби програмної інженерії
Моделі та засоби систем баз даних і
знань
Експертні та інтелектуальні інформаційні
системи
inc
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
П Р О Б Л Е М И
ПРОГРАМУВАННЯ
науковий журнал
Редакційна колегія
Головний редактор
П.І. Андон (Україна)
Заступник
головного редактора
А.Л. Яловець (Україна)
Члени редколегії:
А.В. Анісімов
О.С. Балабанов
М.М. Глибовець
Ш. Гудак
Л.Ф. Гуляницький
А.Ю. Дорошенко
В.П. Іванніков
Л.А. Калініченко
В.М. Касьянов
Н.М. Куссуль
О.А. Летичевський
(Україна)
(Україна)
(Україна)
(Словаччина)
(Україна)
(Україна)
(Росія)
(Росія)
(Росія)
(Україна)
(Україна)
М.С. Нікітченко
В.В. Пасічник
О.І. Провотар
В.Н. Редько
І.В. Сергієнко
М.О. Сидоров
І.П. Сініцин
С.Ф. Теленик
Е.Х. Тиугу
Л. Хлухі
Л. Чая
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Україна)
(Естонія)
(Словаччина)
(Польща)
Адреса для кореспонденції
Інститут програмних систем
НАН України
Проспект Академіка Глушкова, 40
03187, Київ-187
Редактор В.П. Замула
Комп'ютерна верстка В.П. Замула
Підписано до друку 30.05.2017. Формат 60х84/8. Папір офс. Ум. друк. арк. 15,11.
Обл.-вид. арк. 12,41. Тираж 120 прим. Ціна договірна. Замовл.
Друкарня Видавничого дому «Академперіодика» НАН України
01004 Київ-4, вул. Терещенківська, 4
Свідоцтво про внесення до Державного реєстру суб’єкта видавничої справи
серії ДК № 544 від 27.07.2001 р.
Головний редактор
Андон Пилип Іларіонович
академік НАН України,
директор Iнституту програмних систем
НАН України
Інститут програмних систем
НАН України
проспект Академіка Глушкова, 40, корп. 5
03187, Київ-187
Тел.+380 (44) 526 5507
E-mail: andon@isofts.kiev.ua
http://www.pp.isofts.kiev.ua
Тел.: +380 (44) 526 5065
Факс: +380 (44) 526 6263
E-mail: iss@isofts.kiev.ua
НАЦIОНАЛЬНА АКАДЕМIЯ НАУК УКРАÏНИ
IНСТИТУТ ПРОГРАМНИХ СИСТЕМ
ПРОБЛЕМИ
ПРОГРАМУВАННЯ
науковий журнал
№ 2 квітень-червень 2017
Заснований у березні 1999 р.
ЗМІСТ
Теоретичні та методологічні основи програмування
Нікітченко М.С., Шкільняк C.С. Чисті першопорядкові квазіaрні логі-
ки з предикатами рівності 3
Шкільняк О.С., Касьянюк В.С., Малютенко Л.М. Композиційно-
номінативні модальні логіки немонотонних часткових предикатів та їх числення 24
Інструментальні засоби та середовища програмування
Дорошенко А.Ю., Іваненко П.А., Новак О.C. Оптимізація автотью-
нінгу програм з використанням нейромереж 40
Методи та засоби програмної інженерії
Колесник В.Г. О возможности систематического исследования систем
управления производством 48
Моделі та засоби систем баз даних і знань
Лесько О.Н., Рогушина Ю.В. Использование онтологии предметной
области для снятия омонимии в естественно-языковых текстах 61
Палагін О.В., Малахов К.С., Величко В.Ю., Щуров О.С. Прое-
ктування та програмна реалізація підсистеми створення та використання онтоло-
гічної бази знань публікацій наукового дослідника 72
Рогушина Ю.В. Використання онтологічних знань інтелектуальними аген-
тами 82
Чистякова И.С., Резниченко В.А. Бинарная реляционная модель
данных 96
Експертні та інтелектуальні інформаційні системи
Моренцов Є.І. Концепція інтелектуалізованого створення сервісно-
орієнтованих технологій програмування в семантичному веб-середовищі 106
Свідоцтво про державну реєстрацію КВ № 7490 від 01.07.2003
Науковий журнал “Проблеми програмування” занесений до переліку наукових фахових видань України, в яких
можуть публікуватися основні результати дисертаційних робіт.
ISSN 1727-4907 . Інститут програмних систем
НАН України, 2017
inc
NATIONAL ACADEMY OF SCIENCES OF UKRAINE
INSTITUTE OF SOFTWARE SYSTEMS
PROBLEMS IN
PROGRAMMING
scientific journal
№ 2 April – June 2017
Founded in March, 1999
CONTENTS
Theory and Methodology of Programming
Nikitchenko M.S., Shkilniak S.S. Pure first-order quasiary logics with
equality predicates 3
Shkilniak O., Kasianiuk V., Malutenko L. Composition nominative
modal logics of partial non-monotone predicates and their calculi 24
Software Environment and Tools
Doroshenko А.Yu., Ivanenko P.A., Novak O.S. Optimization of auto-
tuning of programs using neural networks 40
Methods and Facilities of Software Engineering
Kolesnyk V.G. On the possibility of a systematic study of the production manage-
ment systems 48
Models and Facilities for Data and Knowledge Bases
Lesko O.N., Rogushina J.V. Use of domain ontology for homonymy clarifi-
cation into the natural language texts 61
Palagin A., Malahov K., Velychko V., Shchurov A. Designing and
program implementation of the subsystem for creation and use of the ontological
knowledge base of the scientific employee publications 72
Rogushina J.V. Use of ontological knowledge by intelligent agents 82
Chystiakova I.S., ReznichenkoV.V. Binary Relational Data Model 96
Expert and Intelligent Information Systems
Morentsov Y.I. The concept of intellectualized creation of service-oriented tech-
nologies of software development in the semantic web environment 106
iss
|
| id | nasplib_isofts_kiev_ua-123456789-144471 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T18:49:11Z |
| publishDate | 2017 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | 2018-12-24T17:23:25Z 2018-12-24T17:23:25Z 2017 Титульні сторінки та зміст // Проблеми програмування. — 2017. — № 2. — С. 1-2. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/144471 uk Інститут програмних систем НАН України Проблеми програмування Титульні сторінки та зміст Article published earlier |
| spellingShingle | Титульні сторінки та зміст |
| title | Титульні сторінки та зміст |
| title_full | Титульні сторінки та зміст |
| title_fullStr | Титульні сторінки та зміст |
| title_full_unstemmed | Титульні сторінки та зміст |
| title_short | Титульні сторінки та зміст |
| title_sort | титульні сторінки та зміст |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/144471 |