0:00:09 1. Пропозициональный язык
0:07:57 2. Подформулы
0:15:19 3. Семантика. Оценки
0:18:03 4. Лемма о продолжении оценки
0:23:40 5. Лемма об однозначном определении формулы. Доказательство
0:29:42 6. Понятие тавтологии, выполнимости
0:34:51 7. Значение формулы на оценке
0:38:09 8. Введение понятия булевых функций
0:42:01 9. Задание булевых функций таблицами истинности. Пример
0:43:37 10. Дополнительные пояснения для доказательства однозначности определения формул
0:46:35 11. Равносильность формул
0:52:33 12. Поиск всех тавтологий. Лемма о базовых равносильностях
1:01:51 13. Обратное соответствие функций формулам. Функциональная полнота
1:04:07 14. Лемма о сигнальной функции
1:15:49 15. Теорема о функциональной полноте
1:24:44 16. Совершенная дизъюнктивная нормальная форма (СДНФ)

свернуть