В наличии

Читать фрагмент

книга

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

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

Форматы: PDF

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

Год: 2019

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

ISBN: 978-5-4499-0126-2

Страниц: 576

Артикул: 72853

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

Читать эту книгу бесплатно по подписке

Печатная книга

2243 ₽

Купить

Ожидаемая дата отгрузки печатного
экземпляра: 22.08.2026

Электронная книга

634 ₽

Купить и скачать

Содержание

Содержание книги "Прикладная логика "

Введение 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. Формализация и деформализация

Общие принципы и выводы. В ажн е йши е определения

Внимание!
При обнаружении неточностей или ошибок в описании книги "Прикладная логика (автор Николай Непейвода)", просим Вас отправить сообщение на почту help@directmedia.ru. Благодарим!