Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL.

На сторінках даного випуску розглянуто наступні питання - проблема становлення популярних християнських культів в Україні; публічність як домінанта культурної традиції (Волинь другої половини XVI ст.); середньовічна традиція слова, мови та книги в творах Іоана Вишенського; лук та рушниця в лицарській символиці українського козацтва: парадокси козацької ідеології і проблема східного впливу; біблійна генеалогія в етногенетичних концепціях польських та українських літописців і хроністів та ін.

Розглянуто проблему структурного тестування паралельних та розподілених програм на основі спеціально визначеної моделі паралельних керованих течій (ланцюжки програмних модулів). Модель містить вузлові та знакові об'єкти, які, взаємодіючи, можуть представляти різні режими тестованої програми. На цій основі запропоновано метод динамічної символьної інтерпретації для визначення тестових сценаріїв, спроможних виявляти похибки, пов'язані з взаємодією. Методи є менш ушкоджуючими порівняно з класичними динамічними методами аналізу, такими як тестування узгодженості або миттєве відтворення, оскільки вони базуються на моделюванні та об'єднанні декількох методик статичного і динамічного аналізів у єдине ціле.

Согласно теории театральной семиотики все театральные знаки можно разделить на три подвида: иконические (аналогии), указательные и символические. Рассмотрены особенности функционирования принципа художественной аналогии (или иконической образности) в контексте ренессансной предметно-изобразительной эстетики. Предпринята попытка показать, как лингвистическая аналогия функционирует в драматургических произведениях У.Шекспира.

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

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

Висвітлено проблеми мовно-текстологічного аналізу актової писемності кінця XVII - другої половини XVIII ст. Детально проаналізовано історичний розвиток староукраїнської орфографічної системи. Розглянуто етапи формування української мови, особливості семантичної двовимірності омонімів у поетичному тексті, лексикографічну репрезентацію невербального компонента мовленнєвого спілкування, символіку зображення світла у поетичній мові українського бароко.

Досліджено морально-естетичні проблеми у сучасному світі, зокрема, проблему синтезу парадигмальних форм моралі. Проаналізовано роль естетичного в сучасній культурі. Розглянуто філософську спадщину Реріха. Висвітлено релігійно-естетичні засади мусульманського мистецтва. Розкрито художню традицію ісламу. Охаратеризовано художню творчість як об'єкт естетико-мистецтвознавчого аналізу. Розглянуто проблему символу в авторському кіно. Викладено принципи систематизації мистецької інформації. Запропоновано професійно-методичні поради для опанування мистецтвом правильного дихання в техніці сценічної мови тощо.

Досліджуються філософські аспекти соціального буття людини, її самореалізації, широке коло проблем, що торкаються становлення форм соціальності, етнокультурних, морально-етичних та культурно-естетичних вимірів взаємозв'язку індивіда і соціуму. Значна увага приділяється когнітивним, семантичним та символічним аспектам логіко-філософських форм рефлексії. Розглядається естетична теорія, її модифікації при аналізі естетичного відношення, естетичного предмета, свідомих та несвідомих компонентів, поліваріативного освоєння духовності людини.

Вивчено алгебру операторів з ядром Бергмана, розширену ізометричними операторами зваженого зсуву. Коефіцієнти алгебри вважаються автоморфними відносно циклічної параболічної групи дробно-лінійних перетворень одиничного круга та неперервними на рімановій поверхні групи. За допомогою ізометричного перетворення одержано квазіавтоморфний матричний оператор на рімановій поверхні з властивостями, аналогічними властивостям оператора Бергмана. Це дає можливість побудувати алгебру символів, дати ефективний критерій фредгольмовості та обчислити індекс операторів розглянутої алгебри.

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

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

Зазначено, що астрологічний і нумерологічний символізм у цілому відповідає психологічному портрету типу художника і типу спортсмена.

Представлены статьи студентов и аспирантов Харьковской государственной академии культуры, отражающие собственную интерпретацию истории культуры, ее стилей. Исследуется вопрос о развитии философии и культуры в концепции Карла Ясперса, архетипы и символы К.Г.Юнга. Рассматривается культура декаданса во Франции рубежа ХІХ-ХХ вв., в частности, проблема корреляции философии и искусства в этот период. Описывается наскальное искусство Африки, эволюция архитектурного облика Святогорской обители. Анализируются аллегории и метафоры в сонетах Шекспира, тема безумия в творчестве Ф.Достоевского и др.

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

Наведено останні роботи історика, археолога, культуролога та письменника Ю.О.Шилова, в яких розглянуто принципи вивчення курганів-могил, походження індоєвропейців і слов'ян у світлі найдавнішої писемності, розвиток цивілізації на Русі. Висвітлено проблему арійства уявного та реального, арійських пракоренів України та Індії, астральної символіки прабатьківщини аріїв. Вивчено відомості про козака Мамая, Семена Палія у Запорізьких легендах, Махна та Леніна, їх стратегію та тактику розбудови майбутнього, з'ясовано геополітичне значення етнополітичних процесів в Україні.

Для фінітної ітерації над структурами даних запропоновано символічний метод верифікації. Він базується на додаванні в мову специфікацій операції заміни. Метод включає правило виводу для цієї ітерації, але не використовує інваріанти, а також принципи індукції для доведення умов коректності, що містять операцію заміни. Метод узагальнено на фінітні ітерації над ієрархічними структурами даних.

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

Розглянуто перспективи зіставлювального дослідження обрядових лексичних позначень у слов'янських мовах за когнітивною, феноменологічною та структурно-семіотичною парадигмами. Висвітлено окремі можливі способи символічного моделювання, лексичної категорізації обрядових знаків, зважаючи на їх внутрішню форму. На підставі виявлення співвідношення між основними поняттями структурної лексичної семантики (опозицією, мотивацією тощо) встановлено кореляції обрядових термінів за формою та змістом. Запропоновано реконструкцію архаїчних концептів, їх аксіологічних і онтологічних фокусів, парадигматичних та інших системних зв'язків одиниць.

Складний діалектичний зв'язок етнічної основи і культурної маніфестації генези народу має специфічні особливості на кожному рівні цивілізаційного процесу. Становлення культури та її теоретичне осягнення зазнає потужного впливу ідеологічних чинників, котрі можуть змінюватись під тиском політичної кон'юнктури. Тому плекання прадавніх етнічних джерел і вшанування їх у сучасній національній символіці (зокрема, у зовнішньому оформленні українських грошей - гривні, де зображені видатні діячі історії та культури як втілення народних ідеалів) - це вияв непорушної духовної традиції, де зберігається душа народу.