|
Прикладная логика: Учебное пособие. 3-е изд., существ. перераб. и доп - Непейвода Н. Н.
|
Prikladnaia logika: Uchebnoe posobie. 3-e izd., sushchestv. pererab. i dop
Type : Books
SKU: VV1305176
ISBN: 9785449901262
Pages: 576
Format: 148x210
Cover: Hardcover
Year: 2019
Publisher: ДиректМедиа (DirektMedia)
Your Price: $80.00
will be shipped in 14-20 days (отправляется через 14-20 дня)
|
| |
Краткая аннотация:
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики XX века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA. Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Математика», «Прикладная математика», «Лингвистика», «Философия» и «Психология». Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное). |
|
