Автор Неизвестен - Булевы алгебры (продолжение)

булева
кольца. Стоуновская двойственность между булевыми
алгебрами и булевыми кольцами. Булева структура.
Булевы идеалы и фильтры: определение. Фильтр Фреше.
Максимальные идеалы и фильтры. Ультрафильтр.
Свойства максимальных булевых идеалов и фильтров.
Факторалгебры.
Построение безатомной булевой алгебры факторизацией.
Тривиальные ультрафильтры. Общее решение булева
уравнения — ультрафильтр. Построение неглавного
ультрафильтра.

66 / 67

Прикладная алгебра. Тема V: Булевы алгебры (продолжение)
Что надо знать

Булевы многочлены: определение, равенство,
полиномиальная функция, эквивалентность. Теорема:
n
PBn — подалгебра B B . Полиномиальная полнота булевой
алгебры.
Теорема об эквивалентном преобразовании булевых
уравнений. Решение булева уравнения в произвольной
булевой алгебре.

67 / 67

--">