Применение алгебры высказываний в информатике

Алгебра логики является частью, разделом бурно развивающейся сегодня науки – дискретной математики. Дискретная математика занимается изучением свойств структур конечного характера, которые возникаю как внутри математики, так и в её приложениях. Заметим, что классическая математика, в основном, занимается изучением свойств объектов непрерывного характера, хотя само деление математики на классическую и дискретную в значительной мере условно, поскольку между ними происходит активная циркуляция идей и методов, часто возникает необходимость исследования модели, обладающие как дискретными, так и непрерывными свойствами.

Введение………………………………………………………………..3
Глава 1: Теоретическая часть
1.1. Двоичная система счисления……………………………………………….4
1.2. Понятие алгебры логики………………………………8
1.3 Логические операции…………………………………11
1.4. Логическая формула…………………………………..14
Заключение……………………………………………………………16
Глава 2: Практическая часть.
2.1. Общая характеристика задачи ……………………….18
2.2. Описание алгоритма решения задачи………………..20
Список литературы…………………………………………………...24