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

ЗМІСТ

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

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

Кургаев А.Ф.
Модификация метаязыка нормальных форм знаний

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

Шкільняк C.С.
Першопорядковi композиційно-номінативні логіки з предикатами слабкої та строгої рівності

МЕТОДИ ТА ЗАСОБИ ПРОГРАМНОЇ ІНЖЕНЕРІЇ

Сидоров Н.А.
Основы программирования в контексте инженерии программного обеспечения

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

Балабанов О.С.
Задачі та методи аналізу великих даних (огляд)

Резниченко В.А.
Что такое Big Data

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

Захарова О.В.
Платформи великих даних. Основні задачі, властивості та переваги

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

Дорошенко А.Ю., Шпиг В.М., Овдій О.М.
Програмна система аналізу хмарності за даними супутникових спостережень

*******
До уваги авторів!