Проблеми програмування, 2017, № 1

ЗМІСТ

Титульні сторінки та зміст

ТЕОРЕТИЧНІ ТА МЕТОДОЛОГІЧНІ ОСНОВИ ПРОГРАМУВАННЯ

Колесник В.Г.
DS-теория. Научные аспекты и перспективы развития

Шкільняк О.С.
Відношення логічного наслідку в логіках монотонних предикатів тa логіках антитонних предикатів

МОДЕЛІ ТА ЗАСОБИ СИСТЕМ БАЗ ДАНИХ І ЗНАНЬ

Рогушина Ю.В.
Класифікація засобів та методів семантичного пошуку в Web

Чистякова И.С.
Интеграция аксиоматики дескриптивных логик с реляционной моделью данных

МОДЕЛІ ТА ЗАСОБИ ПАРАЛЕЛЬНИХ І РОЗПОДІЛЕНИХ ПРОГРАМ

Дорошенко А.Ю., Бекетов О.Г.
Метод паралелізації циклів сіткових обчислювальних задач для графічних прискорювачів

ЕКСПЕРТНІ ТА ІНТЕЛЕКТУАЛЬНІ ІНФОРМАЦІЙНІ СИСТЕМИ

Проскудина Г.Ю., Кудим К.А.
О технологии использования внешних данных при создании и редактировании энциклопедических текстов

АРХІТЕКТУРА ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ

Яловець А.Л.
Архітектура та функціональні можливості мультиагентної системи Навігація

МАТЕМАТИЧНЕ МОДЕЛЮВАННЯ ОБ’ЄКТІВ ТА ПРОЦЕСІВ

Балабанов О.С.
Принципи та аналітичні засоби реконструкції структур ймовірнісних залежностей у спеціальному класі

ПРИКЛАДНІ ЗАСОБИ ПРОГРАМУВАННЯ ТА ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ

Древаль О.Л., Дорошенко А.Ю.
Застосування алгоритму фазової кореляції та його розширення в оптичному стабілізаторі безпілотних літальних апаратів