x 1.00
Скачать видео

Лекция 3. Булева алгебра

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