Литература.
Акимов О.Е. Дискретная математика. Москва, 2001г.
Гладкий А.В. Математическая логика. Москва,1998г.
Гаврилов Г.П., Сапоженко А.А. Сборник задач по дискретной
математике. Москва., 1977г.
Драбкина М.Е. Логические упражнения по элементарной
математике. Минск, 1965г.
Ершов Ю.Л., Палютин Е.А. Математическая логика.
Москва, 1973г.
Ефремов Г.О. Алгебра логики и контактные схемы. Москва, 1969г.
Игошин ВИ. Задачник-практикум по математической логике. Москва, 1986г.
Калужнин Л.А. Элементы теории множеств и математической логики в школьном курсе математики. Москва, 1978 г.
Карри Х. Основания математической логики. Москва,1969г.
Клини С. Математическая логика. Москва, 1973г.
Лавров И.А., Максимова Л.Л. Задачи по теории множеств, математической логике и теории алгоритмов. Москва, 1975г.
Москинова Г.И. Дискретная математика. Москва, 2000г.
Мощенский В.А. Лекции по математической логике. Минск, 1973г.
Нефедов В.Н., Осипова В.А. Курс дискретной математики. Москва, 1992г.
Столл Р. Множества. Логика. Аксиоматические теории. Москва, 1968г.
Столяр А.А. Элементарное введение в математическую логику. Москва,1965г.
Столяр А.А. Логическое введение в математику. Минск, 1971г.
Успенский В.А.,Верещагин Н.К.,Плиско В.Е. Вводный курс математической логики. Москва,1991г.
Эдельман С.Л. Математическая логика. Москва, 1975г.
Яблонский С.В. Введение в дискретную математику. Москва, 2002.
- Хакасский государственный университет им. Н.Ф.Катанова математическая логика
- Содержание
- Литература.
- Введение.
- Алгебра высказываний.
- §1. Высказывания и операции над ними.
- Упражнения.
- §2. Формулы алгебры высказываний. Виды формул.
- Упражнения.
- §3 Логическое следствие
- Основные методы установления верности логического следствия:
- Упражнения
- §4 Равносильность формул алгебры высказываний.
- Упражнения
- §5 Нормальные формы для формул алгебры высказываний.
- Отыскание нормальных форм Упражнения.
- Применение нормальных форм.
- Нахождение следствий из посылок.
- Нахождение посылок для данных следствий.
- § 6. Булевы функции (функции алгебры логики).
- Классы булевых функций.
- Упражнения.
- §7. Алгебра логики и релейно-контактные схемы.
- Анализ релейно-контактных схем. Упражнения.
- Синтез релейно-контактных схем.
- §8. Особые методы минимизации.
- Графический метод.
- М атрица Карно.
- Метод неопределенных коэффициентов.
- М етод минимизирующих карт.
- М етод Квайна.
- Упражнения.
- Примерные варианты контрольных работ.