Министерство сельского хозяйства Российской Федерации

Фгбоу впо «Кубанский государственный аграрный университет»

(КубГАУ)

Кафедра компьютерных технологий и систем

Курсовая работа

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

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

Студент: Желиба Виктория Константиновна

Специальность: Информационные системы и технологии

Группа: ИТ 1301

Краснодар 2014г.

Оглавление

Реферат 3

Введение 4

1.Понятие алгоритма 5

1.1.Свойства алгоритма 6

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

1.3.Разделы математической логики 9

1.4.Логические элементы. Вентили 12

1.4.1.Сумматор и полусумматор 13

1.4.2.Полусумматор 13

1.4.3.Сумматор 14

1.5.Триггер как элемент памяти. Схема RS-триггера 16

1.6.Практическое значение алгебры логики 18

2.Виды программного обеспечения 20

2.1.Семейства и хронология операционных систем 20

2.1.1.Программное обеспечение 20

2.2.Связь математической логики с информатикой 23

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

Заключение 26

Список литературы 27

Реферат

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

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

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

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

Введение

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

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

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

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

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