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

Лекция 9. Выводимость в логике I порядка. Исчисление предикатов

  1. 00:19Логика высказываний
  2. 03:54Аналогичное исчисление для логики I порядка
  3. 15:28Пример 1
  4. 18:28Пример 2
  5. 21:50Пример 3
  6. 23:54Пример 4
  7. 26:06Пример 5
  8. 40:01Пример 6
  9. 46:59Как связаны выводимость и логическое следование?
  10. 53:13Примеры