1,0×
00:00/01:33:51
Шехтман В. Б. - Введение в математическую логику и теорию алгоритмов - Булева алгебра 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. Лемма об общезначимости
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. Лемма об общезначимости
…