- Артикул:00821573
- Автор: Игошин В.И.
- ISBN: 978-5-7695-7045-2
- Тираж: 1500 экз.
- Обложка: Твердый переплет
- Издательство: Академия (все книги издательства)
- Город: Москва
- Страниц: 448
- Формат: 60x84/16
- Год: 2008
- Вес: 500 г
- Серия: Учебное пособие для ВУЗов (все книги серии)
- Высшее профессиональное образование
Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».
Содержание
Предисловие
Введение. Математическая логика в системе современного образования
Логика и интуиция. Логика традиционная и математическая логика. Немного истории. Математическая логика - логика или математика? Математическая логика в обучении математике. Математическая логика и современные ЭВМ
Глава I. Алгебра высказываний
§ 1. Высказывания и операции над ними.
Понятие высказывания. Отрицание высказывания. Конъюнкция двух высказываний. Дизъюнкция двух высказываний. Импликация двух высказываний. Эквивалентность двух высказываний. Союзы языка и логические операции (язык и логика). Общий взгляд на логические операции
§ 2. Формулы алгебры высказываний
Конструирование сложных высказываний. Понятие формулы алгебры высказываний. Логическое значение составного высказывания. Составление таблиц истинности для формул. Классификация формул алгебры высказываний. Мышление и математическая логика
§ 3. Тавтологии алгебры высказываний
О значении тавтологий. Основные тавтологии. Основные правила получения тавтологий
§ 4. Логическая равносильность формул
Понятие равносильности формул. Признак равносильности формул. Примеры равносильных формул. Равносильные преобразования формул. Равносильности в логике и тождества в алгебре
§ 5. Нормальные формы для формул алгебры высказываний
Понятие нормальных форм. Совершенные нормальные формы. Представление формул алгебры высказываний совершенными дизъюнктивными нормальными (СДН) формами. Представление формул алгебры высказываний совершенными конъюнктивными нормальными (СКН) формами. Два способа приведения формулы алгебры высказываний к совершенной нормальной форме
§ 6. Логическое следование формул.
Понятие логического следствия. Признаки логического следствия. Два свойства логического следования. Следование и равносильность формул. Правила логических умозаключений. Еще один способ проверки логического следования. Нахождение следствий из данных посылок. Нахождение посылок для данного следствия
§ 7. Приложение алгебры высказываний к логико-математической практике