Лекция 7. Минимальная временная логика: семантика. Свойства временного ряда и расширения минимальной временной логики

  1. 00:16Минимальная временная логика: семантика
  2. 34:54Пример 1 (верификация формулы)
  3. 53:57Пример 2 (опровержение формулы)
  4. 01:04:15Свойства временного ряда и расширения минимальной временной логики