Математическая логика и теория алгоритмов: учебное пособие Игошин В.И.
описание
звоните нам с 9:00 до 19:00
 

Математическая логика и теория алгоритмов: учебное пособие

Оценки: 4.8 5 20
от

Хорошо и качественно
Количество:
  
-
+
Цена: 1000 
P

В корзину
В наличии
Артикул: 00821573
Автор: Игошин В.И.
Издательство: Академия (все книги издательства)
Место издания: Москва
ISBN: 978-5-7695-7045-2
Год: 2008
Формат: 60x84/16
Переплет: Твердый переплет
Вес: 500 г
Страниц: 448

Cкачать/полистать/читать on-line
Показать ▼

Развернуть ▼

Предлагаемое учебное пособие составляет основу комплекта по курсу математической логики и теории алгоритмов, в который также входит сборник задач (Игошин В.И. Задачи и упражнения по математической логике и теории алгоритмов). Подробно изложены основы теории, показаны направления проникновения логики в основания алгебры, анализа, геометрии, привлечен материал школьного курса математики для его логического анализа, охарактеризованы взаимосвязи математической логики с компьютерами, информатикой, системами искусственного интеллекта.
Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям «Математика», «Прикладная математика».

Содержание
Предисловие
Введение. Математическая логика в системе современного образования
Логика и интуиция. Логика традиционная и математическая логика. Немного истории. Математическая логика - логика или математика? Математическая логика в обучении математике. Математическая логика и современные ЭВМ
Глава I. Алгебра высказываний
§ 1. Высказывания и операции над ними.
Понятие высказывания. Отрицание высказывания. Конъюнкция двух высказываний. Дизъюнкция двух высказываний. Импликация двух высказываний. Эквивалентность двух высказываний. Союзы языка и логические операции (язык и логика). Общий взгляд на логические операции
§ 2. Формулы алгебры высказываний
Конструирование сложных высказываний. Понятие формулы алгебры высказываний. Логическое значение составного высказывания. Составление таблиц истинности для формул. Классификация формул алгебры высказываний. Мышление и математическая логика
§ 3. Тавтологии алгебры высказываний
О значении тавтологий. Основные тавтологии. Основные правила получения тавтологий
§ 4. Логическая равносильность формул
Понятие равносильности формул. Признак равносильности формул. Примеры равносильных формул. Равносильные преобразования формул. Равносильности в логике и тождества в алгебре
§ 5. Нормальные формы для формул алгебры высказываний
Понятие нормальных форм. Совершенные нормальные формы. Представление формул алгебры высказываний совершенными дизъюнктивными нормальными (СДН) формами. Представление формул алгебры высказываний совершенными конъюнктивными нормальными (СКН) формами. Два способа приведения формулы алгебры высказываний к совершенной нормальной форме
§ 6. Логическое следование формул.
Понятие логического следствия. Признаки логического следствия. Два свойства логического следования. Следование и равносильность формул. Правила логических умозаключений. Еще один способ проверки логического следования. Нахождение следствий из данных посылок. Нахождение посылок для данного следствия
§ 7. Приложение алгебры высказываний к логико-математической практике
от Аноним

Хорошо и качественно

Пожалуйста, оставьте отзыв на товар.

Что бы оставить отзыв на товар Вам необходимо войти или зарегистрироваться
Все права защищены и охраняются законом. © 2006 - 2019 CENTRMAG
Рейтинг@Mail.ru