Как называется логика процессов, в которой выразимы некоторые - Ответ на вопрос №69725
-42%
Вопрос
Как называется логика процессов, в которой выразимы некоторые свойства программы, зависящие от процесса ее выполнения?- пропозициональной динамической логикой
- алгоритмической логикой
- интуиционистской логикой
Мediator
















