Индукция по структуре дерева вывода. | MetodPro.ru

Реклама на сайте

Индукция по структуре дерева вывода.


20. Индукция по структуре дерева вывода.
1. Доказываем, что свойство P(x) выполняется для всех простейших деревьев вывода, соответствующих применению аксиом.
2. Доказываем, что свойство P(x) выполняется для всех сложных деревьев вывода. Для этого, для каждого правила предполагаем, что свойство выполняется для его посылок (это индуктивная гипотеза), и доказываем, что оно истинно и для заключения, учитывая, что и условие выполнения правила тоже выполняется.



Методические пособия

  • Системы автоматизированного проектирования
  • Социология молодёжи
  • Общая социология
  • Криптография
  • Проектирование трансляторов
  • Компьютерная графика
  • Моделирование систем
  • Информационная безопасность
  • Теория вычислительных процессов
  • Логические основы искусственного интелекта
  • Проектирование распределённых информационных систем