Поиск :
Личный кабинет :
Электронный каталог: Непейвода, Н. Н. - Прикладная логика
Непейвода, Н. Н. - Прикладная логика
Нет экз.
Электронный ресурс
Автор: Непейвода, Н. Н.
Прикладная логика : учебное пособие
Издательство: Директ-Медиа, 2019 г.
ISBN 978-5-4499-0126-2
Автор: Непейвода, Н. Н.
Прикладная логика : учебное пособие
Издательство: Директ-Медиа, 2019 г.
ISBN 978-5-4499-0126-2
На полку
Электронный ресурс
Непейвода, Н. Н.
Прикладная логика : учебное пособие. – 3-е изд., существ. перераб. и доп. – Москва; Берлин : Директ-Медиа, 2019. – 576 с. : ил. – URL: https://biblioclub.ru/index.php?page=book&id=561272, https://doi.org/10.23681/561272. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз. – ISBN 978-5-4499-0126-2.
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA.Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Математика», «Прикладная математика», «Лингвистика», «Философия» и «Психология».Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).Текст приводится в авторской редакции.
517.11(075)
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы
Непейвода, Н. Н.
Прикладная логика : учебное пособие. – 3-е изд., существ. перераб. и доп. – Москва; Берлин : Директ-Медиа, 2019. – 576 с. : ил. – URL: https://biblioclub.ru/index.php?page=book&id=561272, https://doi.org/10.23681/561272. – Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация . – На рус. яз. – ISBN 978-5-4499-0126-2.
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA.Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Математика», «Прикладная математика», «Лингвистика», «Философия» и «Психология».Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).Текст приводится в авторской редакции.
517.11(075)
Рубрикатор Университетской библиотеки онлайн = Учебник для высшей школы