Лекция 9. Классическое натуральное исчисление предикатов

  1. 00:16Введение
  2. 03:49Натуральное исчисление
  3. 07:35Введения квантора существования
  4. 11:59Исключение квантора общности
  5. 13:31Исключение квантора существования
  6. 20:21Введение квантора общности
  7. 27:19Понятие вывода
  8. 36:55Понятие доказательства теоремы
  9. 38:17Пример (обоснование вводимости)
  10. 54:57Пример (доказательство теоремы)
  11. 01:03:42Пример (доказательство теоремы)
  12. 01:16:36Ограничения на правила