Розглянуто теоретичні аспекти автоматизованого проектування мов, формальних алгоритмів і програм, базовою моделлю яких є рекурсивні автомати з програмуючою логікою. Як інструментальні засоби проектування використовуються алгоритмічні алгебри. Особливу увагу приділено питанням проектування алгоритмів та програм у межах рекурсивних систем інтерпретованих алгоритмічних алгебр.

Рассмотрены методы проектирования символьных процессоров, математическая модель которых дана в виде рекурсивного автомата с программируемой логикой. Анализ и синтез символьных процессоров произведены по единой методологии и теории проектирования, в основе которых лежат разработанная рекурсивная система интерпретированных алгоритмических алгебр и алгебра рекурсивных событий.

Наведено методи квазірегулярного і рекурсивного проектування електронних компіляторів із використанням алгоритмічних алгебр. Теоретичною основою квазірегулярного проектування є модифікована алгебра регулярних подій та модифіковані системи алгоритмічних алгебр. Рекурсивне проектування електронних компіляторів забезпечено рекурсивною системою інтерпретованих алгоритмічних алгебр.

Рассмотрены вопросы макромаркетинга как маркетингового управления, включающего анализ поведения потребителей, оценку рекламного дела и характеристику делового администрирования. Освещены маркетинговые парадигмы и модель системы рынков, функций макромаркетинга. Приведены результаты исследования отношений потребителей на основе многофакторных моделей. Раскрыта взаимосвязь отношения и поведения, описаны элементы и методы измерения отношений. Изложены основы рекламного дела, представлена классификация целей управления рекламой. Акцентировано внимание на рекламе в журналах, на телевидении, радио и в компьютерных сетях. Проанализирована социально-экономическая роль менеджеров.

Приведены методы системного анализа и оценки реализуемости сложных проектов, в частности, экспертных оценок, сетевого планирования, статистического анализа и прогнозирования, теории нечетких множеств и отношений, тестирования предприятий, а также научно ориентированные методы принятия решений и экономико-математические методы. Рассмотрены вопросы анализа реализуемости на уровне долго- и среднесрочного планирования. С учетом выделяемого объема финансирования и требуемого качества проекта предложена методика оценки реализуемости долгосрочных планов. Описаны методы оценки выполнения требований к программному обеспечению для сложных проектов и его верификации.

Описаны методы решения задач дискретной оптимизации, а также произвольных задач булевого программирования и оптимизации на графах. Рассмотрены особенности применения рангового подхода к решению данных задач и теории графов, являющихся формальными моделями широкого класса задач управления в сложных системах управления и сетях. Приведены универсальные алгоритмы их решения, а также модели многопроцессорных вычислительных систем.