ЗМІСТ

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

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

Нікітченко М.С., Шкільняк C.С.
Чисті першопорядкові квазіaрні логіки з предикатами рівності

Шкільняк О.С., Касьянюк В.С., Малютенко Л.М.
Композиційно-номінативні модальні логіки немонотонних часткових предикатів та їх числення

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

Дорошенко А.Ю., Іваненко П.А., Новак О.C.
Оптимізація автотьюнінгу програм з використанням нейромереж

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

Колесник В.Г.
О возможности систематического исследования систем управления производством

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

Лесько О.Н., Рогушина Ю.В.
Использование онтологии предметной области для снятия омонимии в естественно-языковых текстах

Палагін О.В., Малахов К.С., Величко В.Ю., Щуров О.С.
Проектування та програмна реалізація підсистеми створення та використання онтологічної бази знань публікацій наукового дослідника

Рогушина Ю.В.
Використання онтологічних знань інтелектуальними агентами

Чистякова И.С., Резниченко В.А.
Бинарная реляционная модель данных

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

Моренцов Є.І.
Концепція інтелектуалізованого створення сервісно-орієнтованих технологій програмування в семантичному веб-середовищі

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