Введение в математическую логику 10. Системы доказательств

В середине лекции ~12 минут были потеряны, просим прощения за это. 00:00:00 - Начало 00:01:45 - Определение системы доказательств 00:07:00 - СД основанные на правиле резолюции 00:09:05 - Дизъюнкции литералов 00:10:13 - Пример опровержения с помощью правила резолюции 00:14:00 - Стандартные дизъюнкты 00:15:50 - Исчисление резолюции 00:21:20 - Теорема о существовании опровержения 00:41:23 - Равносильность тавтологии и невыполнимости 00:55:00 - Устройство системы доказательств 00:59:00 - ИВ или ИР Дата лекции: Лектор: Михаил Николаевич Вялый Оператор: Семенов Вадим Монтажёр: Юдин Иван Плейлист: