x 1.00
Скачать видео

Лекция 14. Временная логика

  1. 00:19Язык с двумя модальностями необходимости
  2. 06:37Пример 1
  3. 11:03Пример 2
  4. 16:17Минимальная временная логика
  5. 27:39Формулы и свойства шкал
  6. 01:14:57Логика since/until