Маркин В.И. - Алгебра логики - 3. Теорема об эквивалентной замене и метод математической индукции

Теорема об эквивалентной замене и метод математической индукции Маркин Владимир Ильич 00:16 Контрапозиция следования 08:15 Добавление конъюнкции справа 16:14 Формулировка метатеоремы об эквивалентной замене 21:37 Метод простой математической индукции 34:28 Метод возвратной индукции 38:17 Доказательство метатеоремы об эквивалентной замене Ссылка на плейлист Teach-in: https://teach-in.ru/course/Algebra_logiki Ссылка на плейлист YouTube: https://www.youtube.com/playlist?list=PLPqoIJyYW4gw Ссылка на плейлист VK: https://vkvideo.ru/playlist/-176441665_910 Ссылка на плейлист RuTube: https://rutube.ru/plst/1827010