АвторыН. Н. Непейвода
Прикладная логика
ИздательствоДирект-Медиа
Тип изданияучебное пособие
Год издания2019
Скопировать биб. запись
Для каталогаНепейвода, Н. Н. Прикладная логика : учебное пособие / Н. Н. Непейвода. - 3-е изд. , существ. перераб. и доп. - Москва ; Берлин : Директ-Медиа, 2019. - 575 с. - ISBN 978-5-4499-0126-2. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/ISBN9785449901262.html (дата обращения: 26.11.2024). - Режим доступа : по подписке.
АннотацияДанное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA.<br> Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям "Математика", "Прикладная математика", "Лингвистика", "Философия" и "Психология".