Булева алгебра

СОДЕРЖАНИЕ
ВВЕДЕНИЕ 3
1. Сущность логики 5
1.1 Логика и ее предмет 5
1.2 Понятие о булевой алгребре 6
2. Основы математической логики 9
2.1 Высказывания 9
2.2 Логические операции и таблицы истинности 11
ЗАКЛЮЧЕНИЕ 15
СПИСОК ИСПОЛЬЗУЕМОЙ ЛИТЕРАТУРЫ 17

Актуальность темы в том, что логика - одна из самых старых наук. Ее богатая событиями история началась еще в Древней Греции и насчитывает две с половиной тысячи лет. В конце прошлого - начале нынешнего века в логике произошла научная революция, в результате которой в корне изменились стиль рассуждений, методы и наука как бы обрела второе дыхание. Теперь логика - одна из наиболее динамичных наук, образец строгости и точности даже для математических теорий.
Логика систематизирует правильные способы рассуждения, а также типичные ошибки в рассуждениях. Она предоставляет логические средства для точного выражения мыслей, без которого оказывается малоэффективной любая мыслительная деятельность, начиная с обучения и кончая научно-исследовательской работой.
Трудно найти более многогранное и сложное явление, чем человеческое мышление. Оно изучается многими науками, и логика - одна из них. Ее предмет - логические законы и логические операции мышления. Принципы, устанавливаемые логикой, необходимы, как и все научные законы. Мы можем не осознавать их, но вынуждены следовать им.
Математическая логика - это анализ методом рассуждений, при этом в первую очередь исследуются формы рассуждений, а не их содержание, т. е. математическая логика, исследует соотношения между основными понятиями математики, на базе которых доказываются математические утверждения. Простейшую из формальных логических теорий называют алгеброй высказываний, поэтому начнем знакомство с элементами математической логики с такого понятия, как высказывание, которое лежит в основе логико-математической теории дискретной математики.
Объектом исследования являются логические отношения, складывающиеся в процессе изучения элементов математической логики.
Предметом исследования является логика и частным образом математисекая логика.
Степень изученности. В разработке данной темы были использованы работы таких авторов как: Атурин В.В., Баврин И.И., Геворкян П.С., Дорофеева А.В., Краснов М.Л., Лунгу К.Н., Сухотин А.М. и др.
Целью данной работы является раскрытие элементов математической логики, исходя из поставленной цели, были определены следующие задачи:
- Рассмотреть сущность логики и ее предмет;
- Исследовать понятие о булевой алгребре;
- Охарактеризовать высказывания;
- Проанализировать логические операции и таблицы истинности.
Структура данной работы состоит из: введения, 2 глав, заключения и списка используемой литературы.

По всей работе ссылки или подстрочные или в квадратных скобках (в разных работах по разному)
Работа прошла проверку по системе ЕТХТ, но пройдет и по системе -antiplagiat.ru, -Антиплагиат ВУЗ- (http://rane.antiplagiat.ru/ и др. тому подобные), -ЕТХТ (и документом и текстом), Руконтекст, проходит и польский СТРАЙК и plagiat.pl, новую систему СКОЛКОВО (самая последняя версия АП ВУЗ)