- •Фгбоу впо «Кубанский государственный аграрный университет»
- •Курсовая работа
- •Оглавление
- •Реферат
- •Введение
- •1.Понятие алгоритма
- •1.1.Свойства алгоритма
- •1.2.Логические операции. Дизъюнкция, конъюнкция и отрицание
- •1.3.Разделы математической логики
- •1.4.Логические элементы. Вентили
- •1.4.1.Сумматор и полусумматор
- •1.4.2.Полусумматор
- •1.4.3.Сумматор
- •1.5.Триггер как элемент памяти. Схема rs-триггера
- •1.6.Практическое значение алгебры логики
- •2.Виды программного обеспечения
- •2.1.Семейства и хронология операционных систем
- •2.1.1.Программное обеспечение
- •2.2.Связь математической логики с информатикой
- •2.3.Возможности математической логики для программного обеспечения
- •Заключение
- •Список литературы
Министерство сельского хозяйства Российской Федерации
Фгбоу впо «Кубанский государственный аграрный университет»
(КубГАУ)
Кафедра компьютерных технологий и систем
Курсовая работа
По дисциплине: математическая логика и теория алгоритмов
На тему: « Математическая логика и программное обеспечение»
Студент: Желиба Виктория Константиновна
Специальность: Информационные системы и технологии
Группа: ИТ 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
Реферат
Ключевые слова: Математическая логика, логика, логика высказываний, программное обеспечение компьютера.
Цель работы - изучить взаимосвязь математической логики и программного обеспечения компьютера.
В результате проведенной работы была выявлена взаимосвязь между математической логикой и программным обеспечением компьютера. Программное обеспечение и оснащение компьютера подчиненно в первую очередь математической логике. Задача, которая выполняется программой, может быть представлена в виде математических высказываний.
Математическая логика лежит в основе структур и алгоритмов, на которых построено программирование.
Введение
Математика является наукой, в которой все утверждения доказываются с помощью умозаключений, а именно путем использования законов человеческого мышления. Изучением таких законов занимается наука логика.
Логика – наука, изучающая методы доказательства и опровержений, то есть методы установления истинности или ложности одних высказываний (утверждений) на основе истинности или ложности других высказываний.
Сущность логики - классическая логическая теория далеко не совершенна: основное её содержание формулируется на особом, созданном специально для своих целей языке, использует абсолютное предметное мышление. Логические операции: определение, классификация, доказательство, опровержение нередко применяются каждым человеком в его мыслительной деятельности. Основная цель (функция) логики всегда оставалась неизменной: исследование того, как из одних утверждений можно выводить другие.
Математическая логика изучает схемы (формы) истинных высказываний, имеющих наибольшую степень общности, схемы математических доказательств и правила их вывода. Изучение исчисления высказываний как алгебраической системы составляет предмет алгебры логики, или булевой алгебры.
Математическая логика – современная форма логики, которая полностью опирается на формальные математические методы.