#823757
Как называется логика процессов, в которой выразимы некоторые свойства программы, зависящие от процесса ее выполнения?
Варианты ответа:
- пропозициональной динамической логикой
- алгоритмической логикой
- интуиционистской логикой
Курсы в категории:
Математика и статистика