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