Учебное пособие. — Новосибирск: Новосибирский государственный технический университет, 2020. — 67 с. — ISBN 978-5-7782-4216-6.
Учебное пособие для проведения занятий по курсу «Элементы математической логики» в Инженерном лицее НГТУ содержит теоретические сведения по основам логики, примеры и задания для самостоятельного решения. В учебном пособии рассматриваются формы абстрактного познания: понятия, высказывания и умозаключения. Изучаются определения и свойства, особенности разных форм познания, возможные логические ошибки в определениях. Рассматриваются отношения между понятиями, их графические схемы, типы и классификация высказываний. Изучаются непосредственные умозаключения, способы доказательства и опровержение разных типов высказываний.
Введение.
Урок 1. Формы познания.Чувственное познание.
Абстрактное (рациональное) познание.
Домашнее задание к уроку 1.
Урок 2. Понятие. Логические приемы формирования понятий.Домашнее задание к уроку 2.
Урок 3. Приемы, заменяющие определение.Ошибки при определении понятий.
Домашнее задание к уроку 3.
Урок 4. Отношения между понятиями. Круги Эйлера.Домашнее задание к уроку 4.
Урок 5. Решение задач с помощью кругов Эйлера.Домашнее задание к уроку 5.
Урок 6. Логические задачи.Домашнее задание к уроку 6.
Урок 7. Табличный метод решения логических задач.Домашнее задание к уроку 7.
Урок 8. Контрольная работа.Урок 9. Простые суждения.Типы простых суждений.
Классификация суждений по объему.
Домашнее задание к уроку 9.
Урок 10. Эквивалентные суждения.Условные суждения. Следование.
Суждения, эквивалентные условному суждению.
Домашнее задание к уроку 10.
Урок 11. Отрицание суждений.Домашнее задание к уроку 11.
Урок 12. Непосредственные умозаключения.Домашнее задание к уроку 12.
Урок 13. Доказательство высказываний.Способы доказательств.
Домашнее задание к уроку 13.
Урок 14. Доказательство в общем виде.Опровержение высказываний.
Домашнее задание к уроку 14.
Урок 15. Задачи на перебор вариантов.Домашнее задание к уроку 15.
Урок 16. Принцип Дирихле.Домашнее задание к уроку 16.
Урок 17. Контрольная работа.Задачи для самостоятельного решения.Библиографический список.