Ответ на вопрос №69725: Как называется логика процессов, в которой выразимы некоторые свойства программы, зависящие от процесса ее выполнения? пропозициональной динамической логикой алгоритмической логикой интуиционистской логикой Как называется логика процессов, в которой выразимы некоторые - Ответ на вопрос №69725Как называется логика процессов, в которой выразимы некоторые - Ответ на вопрос №69725
2024-04-262024-04-26СтудИзба
Как называется логика процессов, в которой выразимы некоторые - Ответ на вопрос №69725
-37%
Вопрос
Как называется логика процессов, в которой выразимы некоторые свойства программы, зависящие от процесса ее выполнения?- пропозициональной динамической логикой
- алгоритмической логикой
- интуиционистской логикой