Секция: математики

Тема: Алгебра логики

Ученица 9а: Воробьева Кристина

Руководитель: Найденова Е.Ю.

Я выбрала эту тему, потому что она показалась мне интересной. Я захотела узнать, что же такое алгебра логики и для чего она нужна. Об этом я и рассказала в своей работе.

Для меня эта тема показалась актуальной, так как мне интересна математика, а в частности алгебра. Я думаю, то что я исследовала в своей работе мне пригодится в дальнейшем моем обучении или в работе.

Целью моей работы было выяснение сути алгебры логики, основных методов работы с логическими операторами, роли логики в вычислительной технике и информатике.

План работы:

Введение. В нем изложено, что такое алгебра логики, как она устроена, для чего нужна.

Связки и формулы в алгебре логики. В данном разделе работы рассказано о связках, используемых в алгебре логики, формулы для работы с алгеброй логики.

Нормальные формы алгебры логики. В этой части работы я рассказала что такое днф и кнф, для чего нужны.

Следствия, гипотезы, минимализация. В данной части работы указано какие следствия вытекают из днф и кнф, что понимается под гипотезой формулы алгебры логики.

Языки, интерпритации. В этом разделе описаны языки алгебры логики, что такое приведенный полином.

Заключение. Это выводы, которые я сделала, проделав эту работу.

Для того, чтобы выполнить данную исследовательскую работу мне потребовалось найти методические и дополнительные материалы, решить некоторые опытные задачи и сделать выводы.

Проделав данную работу, я узнала:

Алгебра логики – раздел математической логики, который изучает высказывания, рассматриваемые со стороны их логических значений.

Алгебру логики открыл Дж. Буль в середине 19 века.

Алгебра логики развивается под влиянием задач, встающих в области ее приложений.

Самую важную роль приложения алгебры логики в теории электрических схем.

Иногда приходится отказываться от пользования двузначной алгеброй логики и рассматривать те или иные ее многозначные обобщения.

Информационные источники.

Для того, чтобы выполнить эту работу, я воспользовалась следующими источниками:

Аккерман Б., Гилберт Д., Основы теоритической логики, пер. с.нем., Москва, 1947

Клини С.К., Введение в математику, пер. с англ., Москва, 1957

Новиков П.С., Элементы математической логики, Москва, 1959

Татарский А., Введение в логику и методологию дедуктивных наук, пер. с

англ., Москва, 1948