- •Ведение
- •1. Множества и операции над ними.
- •1.1. Основные понятия о множествах.
- •1.2. Операции над множествами.
- •Упражнения.
- •2. Логика высказываний
- •2.1. Понятие высказывания
- •2.2. Логические операции над высказываниями.
- •2.3. Сложные высказывания.
- •Упражнения.
- •3. Логика предикатов.
- •3.1. Понятие предиката.
- •3.2. Логические операции над предикатами.
- •3.3. Кванторные операции.
- •Упражнения.
- •4. Приложение математической логики.
- •4.1. Виды теорем и их взаимосвязь.
- •4.2. Необходимое и достаточное условия.
- •4.3. Метод математической индукции.
- •4.4. Теорема дедукции.
- •4.5. Приложение логики высказываний к релейно-контактным схемам.
- •Упражнения.
- •Ответы и указания к решениям.
- •Глава 1.
- •Глава 2.
- •Глава 3.
- •Глава 4.
- •Заключение
- •Список литературы
Список литературы
Гохман А.В., Спивак М.А., Розен В.В. и др. Сборник задач по математической логике и алгебре множеств. (2-е изд.). Саратов: Саратовский ун-т, 1969.
Калужнин Л.А. Что такое математическая логика? М.: Наука, 1964.
Карри Х.Б. Основания математической логики. М.: Мир, 1969.
Клини С. Введение в метаматематику. М.: Иностр. литература, 1957.
Клини С. Математическая логика. М.: Мир, 1973.
Линдон Р. Заметки по логике. М.: Мир, 1968.
Мендельсон Э. Введение в математическую логику. М.: Наука, 1971.
Никитин В.В. Сборник логических упражнений. Пособие для учителей математики. М.: Просвещение, 1970.
Новиков П.С. Элементы математической логики (2-е изд.). М.: Наука, 1973.
Новиков П.С. Конструктивная математическая логика. М.: Наука, 1977.
Пензов Ю.Е. Элементы математической логики и теории множеств. Саратов: Сарат. ун-т, 1968.
Попов А.И. Введение в математическую логику. Л.: ЛГУ, 1959.
Попов Ю. И. Алгебра множеств и алгебра высказываний, Калининград, 1991.
Столяр А.А. Логические проблемы преподавания математики. Мн.: Высш. шк., 1965.
Столяр А.А. Логическое введение в математику. Мн.: Выш. шк., 1971.