По дисциплине: математическая логика и теория алгоритмов

На тему: « Математическая логика и программное обеспечение»

1.2.Логические операции. Дизъюнкция, конъюнкция и отрицание 7

2.3.Возможности математической логики для программного обеспечения 25

Ключевые слова: Математическая логика, логика, логика высказываний, программное обеспечение компьютера.

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

В результате проведенной работы была выявлена взаимосвязь между математической логикой и программным обеспечением компьютера. Программное обеспечение и оснащение компьютера подчиненно в первую очередь математической логике. Задача, которая выполняется программой, может быть представлена в виде математических высказываний.

Математическая логика лежит в основе структур и алгоритмов, на которых построено программирование.

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

Логика – наука, изучающая методы доказательства и опровержений, то есть методы установления истинности или ложности одних высказываний (утверждений) на основе истинности или ложности других высказываний.

Сущность логики - классическая логическая теория далеко не совершенна: основное её содержание формулируется на особом, созданном специально для своих целей языке, использует абсолютное предметное мышление. Логические операции: определение, классификация, доказательство, опровержение нередко применяются каждым человеком в его мыслительной деятельности. Основная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие.

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

Математическая логика – современная форма логики, которая полностью опирается на формальные математические методы.