АННОТАЦИЯ Описывается стратегия нахождения единичных означиваний булевских формул, основанная на существовании у булевских формул операционной семантики. Каждая логическая формула, согласно ее операционной семантике, при определенной трактовке является программой по нахождению единичных означиваний этой формулы.

Читать статью полностью

АННОТАЦИЯ В статье рассматриваются модели марковских форм с внешними потоками событий на основе дифференциальных уравнений. Эти модели являются дальнейшим развитием моделей динамики средних, путем введения потоков событий, входящих в форму извне, а также потоков, исходящих из формы. На основе условия Липшица и леммы Ляпунова показано существование и устойчивость решения системы дифференциальных уравнений модели. Предложены пути дальнейшего совершенствования модели.

Читать статью полностью