Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 1

0:00:09 1. Литералы. Элементарная конъюнкция (Сигнальная формула) 0:07:38 2. Теорема об эквивалентности СДНФ (Совершенная дизъюнктивная нормальная форма) 0:15:48 3. Совершенная конъюнктивная нормальная форма(СКНФ). Все аналогично СДНФ 0:19:01 4. Принцип двойственности. Задача 0:22:32 5. Следствия из принципа двойственности для тавтологий 0:24:32 6. Булева алгебра 0:47:00 7. Лектор обращает внимание на допущенную ранее ошибку и просит записать исправленный вариант 0:47:37 8. Отношение частичного порядка в булевой алгебре 1:07:41 9. Примеры бесконечных булевых алгебр 1:15:43 10. Теорема Стоуна 1:27:52 11. Лемма об общезначимости