Введение почему я выбрала эту тему
Секция: математики
Тема: Алгебра логики
Ученица 9а: Воробьева Кристина
Руководитель: Найденова Е.Ю.
Я выбрала эту тему, потому что она показалась мне интересной. Я захотела узнать, что же такое алгебра логики и для чего она нужна. Об этом я и рассказала в своей работе.
Для меня эта тема показалась актуальной, так как мне интересна математика, а в частности алгебра. Я думаю, то что я исследовала в своей работе мне пригодится в дальнейшем моем обучении или в работе.
Целью моей работы было выяснение сути алгебры логики, основных методов работы с логическими операторами, роли логики в вычислительной технике и информатике.
План работы:
Введение. В нем изложено, что такое алгебра логики, как она устроена, для чего нужна.
Связки и формулы в алгебре логики. В данном разделе работы рассказано о связках, используемых в алгебре логики, формулы для работы с алгеброй логики.
Нормальные формы алгебры логики. В этой части работы я рассказала что такое днф и кнф, для чего нужны.
Следствия, гипотезы, минимализация. В данной части работы указано какие следствия вытекают из днф и кнф, что понимается под гипотезой формулы алгебры логики.
Языки, интерпритации. В этом разделе описаны языки алгебры логики, что такое приведенный полином.
Заключение. Это выводы, которые я сделала, проделав эту работу.
Для того, чтобы выполнить данную исследовательскую работу мне потребовалось найти методические и дополнительные материалы, решить некоторые опытные задачи и сделать выводы.
Проделав данную работу, я узнала:
Алгебра логики – раздел математической логики, который изучает высказывания, рассматриваемые со стороны их логических значений.
Алгебру логики открыл Дж. Буль в середине 19 века.
Алгебра логики развивается под влиянием задач, встающих в области ее приложений.
Самую важную роль приложения алгебры логики в теории электрических схем.
Иногда приходится отказываться от пользования двузначной алгеброй логики и рассматривать те или иные ее многозначные обобщения.
Информационные источники.
Для того, чтобы выполнить эту работу, я воспользовалась следующими источниками:
Аккерман Б., Гилберт Д., Основы теоритической логики, пер. с.нем., Москва, 1947
Клини С.К., Введение в математику, пер. с англ., Москва, 1957
Новиков П.С., Элементы математической логики, Москва, 1959
Татарский А., Введение в логику и методологию дедуктивных наук, пер. с
англ., Москва, 1948
Добавить комментарий