Тема: Алгебра высказываний

Тема теоретической части курсовой работы: Применение алгебры высказываний в информатике. Алгебра высказываний является составной частью одного из современных быстро развивающихся разделов математики - математической логики.

“Арифметические и логические основы ЭВМ" можно предложить рассмотреть применение алгебры высказываний в релейно-контактных схемах.

Одним из занимательных приложений алгебры высказываний - решение логических задач [6]. Алгебра - это наука, которая изучает множество некоторых элементов и действия (операции) над ними.

Создателем алгебры логики является живший в ХIХ веке английский математик Джордж Буль, в честь которого эта алгебра названа булевой алгеброй высказываний .

Алгебра высказываний в информатике является составной частью одного из современных быстро развивающихся разделов математики - математической логики в информатике. Математическая логика применяется в информатике, позволяет моделировать простейшие...

Алгебра логики ( алгебра высказываний ) - раздел математической логики, в котором изучаются логические операции над высказываниями .

4.1 Алгебра высказываний ….……..27.