Лекция 3. Теорема об эквивалентной замене и метод математической индукции
- 00:16Контрапозиция следования
- 08:15Добавление конъюнкции справа
- 16:14Формулировка метатеоремы об эквивалентной замене
- 21:37Метод простой математической индукции
- 34:28Метод возвратной индукции
- 38:17Доказательство метатеоремы об эквивалентной замене