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

Семинар 3. Логика первого порядка. Методы автоматизации доказательств

  1. 00:15Кванторы. Правила для кванторов
  2. 04:56Инстанцирование правил. Атрибуты of и where
  3. 28:38Доказательство прямым выводом (forward proof)
  4. 35:29Атрибуты OF и THEN
  5. 40:38Методы автоматического доказательства. Настройка с помощью атрибутов
  6. 51:36Упражнение