Содержание
Содержание.
ВВЕДЕНИЕ 3
1. ПОНЯТИЕ ЛОГИКИ КАК НАУКИ И ОСОБЕННОСТИ АЛГЕБРЫ ЛОГИКИ 5
2. ПРИНЦИПЫ ПОСТРОЕНИЯ ФОРМАЛЬНЫХ ТЕОРИЙ 8
3. ЛОГИЧЕСКИЕ ОПЕРАЦИИ И ТАБЛИЦЫ ИСТИННОСТИ. 10
3.1 Конъюнкция 10
3.2 Дизъюнкция 11
3.3 Альтернатива 11
3.4 Импликация 12
3.5 Эквивалентность 13
3.6 Инверсия 13
4. ЛОГИЧЕСКИЕ ФОРМУЛЫ И ФУНКЦИИ. ЗАКОНЫ АЛГЕБРЫ ЛОГИКИ. 15
4.1 Понятие логической формулы 15
4.1 Понятие логической функции 15
4.3 Основные законы алгебры логики 17
ЗАКЛЮЧЕНИЕ 19
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ 21
Выдержка из текста
ВВЕДЕНИЕ
Научное познание в современных условиях является основной формой познания реальной действительности или окружающей среды. Оно происходит не стихийно, а целенаправленно и, по сути, является научным исследованием, которое имеет определенную природу, структуру и особенности. Основная задача научного познания лежит в выявлении объективных законов окружающей действительности – природных, социальных, экономических, законов познания и мышления.
Наряду с этим основной функцией научного познания или исследования является обслуживание потребностей практики. Наука как форма познания преимущественно ориентированная на воплощение ее достижений в практику, использование изменения окружающей действительности и управления реальными процессами. Содержание научных исследований можно выразить такими словами: "Знать, чтобы предвидеть, предвидеть, чтобы действовать практически".
Математическая логика относится к такому направлению в математике, который в последнее время особенно интенсивно развивается. Это объясняется растущим в наше время значением математической логики в таких отраслях, как проектирование вычислительных машин и автоматических систем, программирования и кибернетики. Как известно, системы автоматики и вычислительной техники разрабатываются с учетом алгебры логики.
Вся деятельность человека, так или иначе, связана с различными высказываниями. Любое произнесенное утверждение, суждение, замечание является определенным высказыванием. В алгебре логики само высказывание является переменной, которая может принимать одного из двух возможных значений и над которой можно выполнять некоторые действия.
Цель реферативной работы – исследовать основы логики и алгебра логики
Объект исследования – логика.
Предмет исследования – алгебра логики.
Основные задачи работы:
Определить понятие логики как науки;
Определить особенности алгебры логики
Исследовать принципы построения формальных теорий;
Определить основные логические операции: конъюнкция, дизъюнкция, альтернатива, импликация, эквивалентность, инверсия;
Исследовать применение таблиц истинности для логических операций;
Определить понятие логической формулы и логической функции;
Исследовать законы алгебры логики.
Для рассмотрения данной темы работы используются такие методы научного исследования: анализ, синтез, обобщение, системный подход.
Методологической основой для исследования послужили научные труды отечественных авторов таких как: Аладышкин И.В, Алексеев В.В., Артюхович Ю.В., Веретенников Б.М., Верещагин Н.К., Гусев Д.А., Ефимов Д.Б. и др.
Работа содержит: введение, четыре основных раздела (3 и 4 разделы имеют подразделы), заключение, список источников.
Список использованной литературы
СПИСОК ИСПОЛЬЗОВАННЫХ ИСТОЧНИКОВ
1. Аладышкин И.В., Мичурин А.Н., Сидорчук И.В., Ульянова С.Б. История науки и техники. Учебное пособие. Под ред. С.В. Кулика, С.Б. Ульяновой. — СПб.: Изд-во Политехнического университета, 2015. — 143 с.
2. Алексеев В.В. Элементы алгебры логики. Методическое пособие. — Саров: СарФТИ, 2015. — 74 с.
3. Артюхович Ю.В., Кленина Е.А. и др. Основы логики: теоретический и практический курс. — Волгоград: ВолгГТУ, 2015. — 128 с.
4. Веретенников Б.М. и др. Дискретная математика. Часть 1. Учебное пособие. – Екатеринбург: Изд-во Урал. ун-та, 2014. – 132 с.
5. Верещагин Н.К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 1. Начала теории множеств.4-е изд., доп. — М.: МЦНМО, 2012. — 112 c.
6. Геут Кр. Л., Коновалова С.С., Титов С.С. Дискретная математика. Учебное пособие. — Екатеринбург: УрГУПС, 2015. — 112 с.
7. Гусев Д.А. Логика. Учебное пособие. — М.: Прометей, 2015. — 300 с.
8. Ефимов Д.Б., Полещиков С.М. Математическая логика и теория алгоритмов. Учебное пособие. — Сыктывкар : СЛИ, 2012. — 100 с.
9. Игошин В.И. Математическая логика + CD-R. Учебное пособие. — М.: Инфра-М, 2016. — 399 с.
10. Плескунов М.А. Основы формальной логики. Учебное пособие. – Екатеринбург: Изд-во Урал, ун-та, 2014. – 168 с.