ЗМІСТ

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

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

Нікітченко М.С., Шкільняк О.С., Шкільняк C.С., Мамедов Т.А.
Пропозиційні логіки часткових предикатів з композицією предикатного доповнення

Шкільняк О.С.
Девіантні алгебри істиннісних значень та девіантні класи загальних недетермінованих предикатів

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

Дорошенко А.Ю., Бондаренко М.М., Яценко О.А.
Автоматизоване проектування OpenCL програм на основі алгебро-алгоритмічного підходу

Овдій О.М.
До питання автоматизації проектування робочих процесів на основі алгеброалгоритмічного та онтологічного інструментарію

Шевченко Р.С., Дорошенко А.Ю.
TermWare-3 – система переписування термів, заснована на контекстному численні

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

Рогушина Ю.В.
Засоби та методи аналізу неструктурованих даних

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

Яловець А.Л.
Методи розпізнавання агентом невідомого середовища

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

Григорян Р.Д., Дегода А.Г., Харсун В.С., Джуринский Е.А.
Симулятор механизмов срочной регуляции гемодинамики человека

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