Прикладная логика
книга

Прикладная логика

Автор: Николай Непейвода

Форматы: PDF

Издательство: Директ-Медиа

Год: 2019

Место издания: Москва|Берлин

ISBN: 978-5-4499-0126-2

Страниц: 576

Артикул: 72853

Возрастная маркировка: 16+

цена: 402,5
Купить и скачать Читать фрагмент Печатная книга за 1798

Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Математика», «Прикладная математика», «Лингвистика», «Философия» и «Психология». Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное). Текст приводится в авторской редакции.

Введение x
In.1. Что такое современная логика?
In.2. Методологические принципы, на которых основано данное изложение
In.3. Как работать с данной книгой?
In.4. Введение ко второму изданию
In.5. Введение к третьему изданию
I Язык математики
1. Необходимость точного языка в математике
2. Простейшие высказывания
3. Запись высказываний. Логические формулы
4. Методы перевода с естественного языка на математический и обратно
5. Базовые математические понятия
II Классическая логика
6. Индукция
7. Введение в синтаксис
8. Семантика классической логики
9. Семантические таблицы для классической логики
10. Элементы нестандартного анализа
11. Естественный вывод в классической логике
12. Основы теории определений
13. Неполнота и нефорализуемость
III Введение в неклассические логики
14. Основы λ-исчисления
15. Корни неклассических логик
16. Интуиционистская логика
17. Семантики Крипке и базирующиеся на них логики
18. роблема отрицания
IV Конструктивные и методологические аспекты логики
19. Конструктивизм
20. лгорит и реализуе ость
21. Интуиционизм как альтернатива алгоритмическому конструктивизму
22. Доказательства и программы
23. Методологические следствия теорем о неполноте
24. Прикладная логика
25. Формализация и деформализация
Общие принципы и выводы. В ажн е йши е определения

Все отзывы о книге

Чтобы оставить отзыв, зарегистрируйтесь или войдите

Рецензии на книгу

Чтобы писать рецензии и получать вознаграждения за рекомендации книг, станьте экспертом

С этой книгой читают