00:00 - Повторение прошлой лекции
02:10 - Лемма 1. О фиктивном кванторе
06:40 - Лемма 2. Сохранение общезначимости квантором всеобщности и выполнимости квантором существования
14:40 - Лектор думает над тем как бы лучше объяснить тему
16:10 - Пропозициональная формула. PFm
21:30 - Булева функция
25:43 - Неформальное введение символа замены в пропозициональной формуле
28:25 - Гадость (Пропозициональная формула с заменой) -- тоже формула первого порядка, правильно построенной формулой
31:20 - Лемма 3. Значение пропозициональной формулы с заменой в структуре M при замене π
38:05 - Следствие 4. Общезначимость пропозициональной формулы с заменой при истинности булевой функции
40:05 - Следствие 5. Эквивалентности пропозициональных формул с заменой при равенстве булевых функций
41:12 - Дизъюнктивная нормальная форма
46:00 - Запоминаем. Литералы, Элементарные конъюнкции
47:50 - Конъюнктивная нормальная форма
49:20 - Лемма 6. Для любой булевой функции существует её ДНФ
1:06:15 - Следствие 7. Для любой пропозициональной формулы существует ДНФ такая, что они эквивалентны при замене
1:07:55 - Аналогично можно доказать такой же результат для КНФ
1:09:00 - Подведение итогов, конец лекции

К большому сожалению, из-за технических неполадок, запись звука этой лекции вышла просто отвратительной. Мне очень жаль, но могу сказать, что после некоторого времени смотреть даже не неприятно

свернуть