Курсовая Теоретические основы решения задач с помощью таблиц истинности, номер: 209243

"Оглавление
Введение 2
1. Основные понятия математической логики (формулы, виды высказываний) 5
1.1. Понятие высказывания 5
1.2. Формулы алгебры логики 7
2. Способы проверки истинности формул 12
2.1. Проверка истинности формул с помощью ТИ 12
2.2. Применение законов алгебры логики для проверки истинности формулы 16
2.3. Проверка истинности формул с помощью метода «от противного» 18
3. Приемы проверки истинности высказываний 18
3.1. Проверка истинности высказываний с помощью рассуждений 19
3.2. Проверка истинности высказываний с помощью таблиц истинности 20
3.3. Установление истинности высказываний с помощью равносильных преобразований 21
Заключение 23
Список литературных источников 25

Список литературных источников
1. https://ru.wikipedia.org
2. http://enc-dic.com/logic/Tablica-Istinnosti-362/
3. Верещагин Н. К., Шень А. Лекции по математической логике и теории алгоритмов. Часть 2. Языки и исчисления. — 4-е изд., испр. — М.: МЦНМО, 2012. — 240 c.
4. Сангалова М. Е., Дубова А. В. Решение логической задачи разными способами и сравнение их эффективности // Молодой ученый. — 2014. — №21.1. — С. 214-217.
5. Ковалева Л.Ф. Математическая логика / Московский государственный университет экономики, статистики и информатики – М., 2001 г. ? 57с.
6. Математическая логика. Типовые расчёты: методические указания и контрольные задания / сост.: Т.А. Гулай, С.В. Мелешко, И.А.Невидомская. - Ставрополь: 2013. - 28 с.
7. Гетманова А.Д. Учебник логики: со сборником задач. – М.: КноРус, 2011.
8. Гладкий А.В. Введение в современную логику. – 2-е изд., исправ. – М.: Либроком, 2009.
9. Грядовой Д.И. Логика: Общий курс формальной логики. – М.: ЮНИТИ - ДАНА, 2011.
10. Ивалев Ю.В. Логика: Учебник (Гриф МО РФ). – М.: Проспект, 2010.
11. Ежкова В.Г. Логико-математический аппарат метода проверки статистических гипотез // Интернет-журнал «НАУКОВЕДЕНИЕ» Том 7, №2 (2015) http://naukovedenie.ru/PDF/156EVN215.pdf (доступ свободный).
12. Карпов В.Н. Систематическое изложение логики. – М.: Либроком, 2011.
13. Михайлов К.А. Логика. Практикум: учебное пособие для бакалавров. М.: Юрайт, 2012.
14. Светлов В.А. Логика: Учеб. пособие для вузов. – СПб.: Питер, 2011.
"