Тема 83. Булевы алгебры
Понятие булевой алгебры играет важную роль в алгебре, математической логике и дискретной математике. В курсовой работе необходимо изучить характеристические свойства булевых алгебр, проанализировать взаимосвязь основных свойств таких алгебр, доказать теорему о представлении конечной булевой алгебры алгеброй множеств. Рекомендуется следующий план работы.
1 Изучить характеристические свойства булевых алгебр и проанализировать их взаимосвязь с булевыми кольцами (/1/, глава 1, § 2, /2/,
глава 1, § 1.1).
2 Рассмотреть основные свойства булевых алгебр и теорему о представлении конечной булевой алгебры алгеброй множеств (/1/, глава 1, § 2, /2/, глава 1, § 1.1).
Разобрать все примеры из указанных выше литературных источников и решить задачи 2, 3, 4, 5 на стр. 42 в /1/.
- 1 АЛГЕБРА И ТЕОРИЯ ЧИСЕЛ
- Тема 1. Алгебра бинарных отношений и отображений
- Тема 2. Отображения и фактор-множества
- Тема 10. Основная теорема алгебры
- Тема 18. Замыкания и соответствия Галуа
- Тема 19. Функция Мёбиуса и её свойства
- Тема 28. Греко-китайская теорема об остатках
- Тема 33. Силовские подгруппы
- 2 МАТЕМАТИЧЕСКАЯ ЛОГИКА
- Тема 34. Логическая игра
- Тема 35. Неразрешимость логики первого порядка
- 3 ДИСКРЕТНАЯ МАТЕМАТИКА
- Тема 47. Эйлеровы графы
- Тема 48. Гамильтоновы графы
- Тема 55. Раскраски графов
- Тема 61. Теорема Пойа и перечисление графов
- Тема 62. Графы на двумерных поверхностях
- Тема 68. Логика на словах
- Тема 75. Элементы теории конечных автоматов
- Тема 82. Модулярные и дистрибутивные решетки
- Тема 83. Булевы алгебры
- 4 РАЗЛИЧНЫЕ РАЗДЕЛЫ МАТЕМАТИКИ
- Тема 86. Элементы линейного программирования
- Тема 95. Барицентрическое исчисление
- Приложение А