Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Оценки. Булевы функции

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. Совершенная дизъюнктивная нормальная форма (СДНФ)