ЗМІСТ

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

Лавріщева К.М.
Компонентне програмування. Теорія і реалізація

Нікітченко М.С., Шкільняк С.С.
Логіки квазіарних предикатів кванторно-екваційного рівня

Провотар О.І., Лапко О.В.
Про нові методи опису невизначених величин

Щегельський Т.С., Провотар О.О., Провотар О.І.
Аналіз систем нечіткої логіки для апроксимації нечітких функцій

Ігнатенко О.П.
Одна динамічна конфліктно керована модель взаємодії користувачів у відкритих інформаційних середовищах

Кожаев В.В.
Иструментарий создания игровой логики

Колчин А.В., Летичевский А.А., Потиенко С.В., Песчаненко В.С.
Обзор современных систем и методов верификации формальных моделей

Захарова О., Міненко В.
Технологія оптимального вибору варіантів на основі семантичного аналізу інформаційних об’єктів бізнес-процесу

Алексеєв В.А., Мостовий В.В., Терещенко В.С., Яловець А.Л.
Архітектура та функціональні можливості системи ситуаційного керування охороною зон відповідальності

Мердух С.Л., Медведєв Р.Б.
Пакет прикладних програм для розрахунку безперервних та дискретних моделей динамічних процесів у контурах керування

Терещенко А.Н., Задирака В.К.
Оптимизация умножения больших N-разрядных чисел на основе N-разрядных ДПФ