Курсовая работа: Булевы алгебры

СОДЕРЖАНИЕ
Введение
1. Понятие Булевой алгебры
2. Операции в булевой алгебре
3. Законы в булевой алгебре
4. Доказательство того, что любая алгебра множеств – это булева алгебра
5. Связь булевых колец и булевых алгебр.
6. Булевы функции
7. Способы задания булевых функций
7.1. С помощью булевых операций.
7.2. С помощью булевых выражений.
7.3. Табличный способ.
7.4. Таблица Вейча.
7.5. Задание булевой функции в виде слова.
7.6. С помощью характеристического множества.
Заключение
Список использованных источников

Введение

Алгебра логики (булева алгебра) – это раздел математики, который изучает методы оперирования логическими (булевыми) переменными, принимающими только два значения – истина и ложь. Такое понятие ввел английский математик Джордж Буль в своей книге «Исследование законов мышления».
Целью данной курсовой работы является изучение булевой алгебры.
Задачами курсовой работы являются:
- изучение основных понятий, связанных с булевой алгеброй;
- изучение характеристических свойств булевых алгебр;
- доказательство теоремы о представлении конечной булевой алгебры алгеброй множеств;
- доказательство теоремы о связи булевых колец и булевых алгебр;
- демонстрация булевых функций и способов задания булевых функций;

Актуальность данной курсовой работы заключается в том, что булева алгебра – это один из фундаментальных объектов современной математики. Булеву алгебру можно сравнить с действительными числами: как действительные числа являются математической