- •«Магнитогорский государственный университет»
- •Кадченко Ангелина Ивановна
- •Магнитогорск, 2011 Содержание
- •Основные сведения об авторах
- •Цели и задачи дисциплины
- •3. Перечень основных тем и подтем
- •Тема 1. Высказывания и операции над ними. Формулы алгебры высказываний
- •Примеры заданий по теме
- •Тема 2. Равносильность.
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 3. Нормальные формы
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 4. Совершенные нормальные формы
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 5. Булевы функции.
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 6. Логическое следование формул
- •Тема 7. Виды теорем и методы математических доказательств
- •Тема 8. Аксиоматическое определение логики высказываний
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 9. Теорема дедукции.
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 10. Свойства исчисления высказываний
- •Тема 11. Предикаты
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 12. Формулы логики предикатов
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 13. Равносильность
- •Контрольные вопросы
- •Примеры заданий по теме
- •Тема 14. Применение языка логики предикатов.
- •Тема 15. Исчисление предикатов
- •Контрольные вопросы
- •Примеры заданий по теме
- •4. Перечень вопросов к зачету
- •5. Рекомендуемая литература (основная и дополнительная)
5. Рекомендуемая литература (основная и дополнительная)
Основная
Тимофеева И.Л. Математическая логика. Курс лекций: учебное пособие. - М.: КДУ, 2007. – 304 с. (Допущено Учебно-методическим объединением по специальностям педагогического образования).
Судоплатов С.В., Овчинникова Е.В. Математическая логика и теория алгоритмов: Учебник для вузов. – М.: ИНФРА-М; Новосибирск: НГТУ, 2004. – 224 с. (Рекомендовано Министерством образования и науки Российской Федерации).
Игошин В.И. Математическая логика и теория алгоритмов: Учебное пособие для студентов вузов. – М.: Академия, 2004. – 448 с. (Допущено Министерством образования и науки Российской Федерации).
Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов: Учебное пособие для студентов вузов. – М.: Академия, 2005. – 304 с. (Допущено Министерством образования и науки Российской Федерации).
Ершов Ю.А., Палютин Е.А. Математическая логика: Учебное пособие для студентов вузов. – СПб.: Лань, 2007. – 336 с. (Допущено Министерством образования и науки Российской Федерации).
Кадченко А.И. Алгебра и исчисление высказываний: Учебное пособие для студентов вузов. – Магнитогорск, МаГУ, 2007. – 80 с.
Дополнительная
Лихтарников Л.М., Сукачева Т.Г. Математическая логика. – СПб.: Лань, 2008. - 277 с.
Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984. – 320 с.
Новиков П.С. Элементы математической логики. – М.: Наука, 1973. – 400 с.
Москинова Г.И. Дискретная математика. – М.: Логос, 2000. – 239 с.