Прикладная логика учебное пособие
Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философски...
Сохранить в:
| Главный автор: | |
|---|---|
| Формат: | Книга |
| Редакция: | 3-е изд., существ. перераб. и доп. |
| Темы: | |
| Online-ссылка: | https://biblioclub.ru/index.php?page=book&id=561272 https://doi.org/10.23681/561272 |
| Метки: |
Добавить метку
Нет меток, Требуется 1-ая метка записи!
|
| LEADER | 03588nam a2200301 4500 | ||
|---|---|---|---|
| 001 | BIBLIOCLUB\0000561272 | ||
| 005 | 20250903113719.0 | ||
| 010 | |a 978-5-4499-0126-2 | ||
| 100 | |a 20250623j2019 e u0rusy0189 ca | ||
| 101 | 0 | |a rus | |
| 102 | |a RU | ||
| 105 | |a y j|||000yy | ||
| 200 | 1 | |a Прикладная логика |e учебное пособие |f Н. Н. Непейвода | |
| 205 | |a 3-е изд., существ. перераб. и доп. | ||
| 210 | |a Москва, Берлин |c Директ-Медиа |d 2019 | ||
| 215 | |a 576 с. |c ил. | ||
| 330 | |a Данное пособие содержит введение в язык современной математики и методы современной логики, основные важнейшие для приложений и методологии результаты логики ХХ века, советы по применению методов и методологии логики в информатике и информационном анализе сложных задач, методологический и философский анализ следствий приведённых результатов и методов. Впервые в мировой литературе оно содержит систематическое изложение конструктивной математики с точки зрения как современной информатики, так и многоуровневого анализа её успехов и уроков. Его можно использовать совместно с обучающими программами высокого уровня и программами проверки рассуждений, подобными AGDA.Рекомендовано Государственным комитетом Российской Федерации по высшему образованию в качестве учебного пособия для студентов высших учебных заведений, обучающихся по специальностям «Математика», «Прикладная математика», «Лингвистика», «Философия» и «Психология».Предыдущие версии книги выпущены издательствами УдГУ, 1997 (1-е издание); НГУПресс, 2000 г. (2-е издание, исправленное и дополненное).Текст приводится в авторской редакции. | ||
| 337 | |a Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация |u https://biblioclub.ru/index.php?page=book&id=561272 | ||
| 371 | |a 15.01.2027 | ||
| 610 | 1 | |a Учебник для высшей школы | |
| 675 | |a 517.11(075) |z rus | ||
| 686 | |a 22.12я73 |v LBC/PL |2 rubbk | ||
| 700 | 1 | |a Непейвода |b Н. Н. |4 070 | |
| 801 | 0 | |a RU |b Директ-Медиа |c 20250903 | |
| 801 | 1 | |a RU |b Директ-Медиа |c 20250903 | |
| 856 | 4 | |u https://biblioclub.ru/index.php?page=book&id=561272 |a Режим доступа: электронная библиотечная система «Университетская библиотека ONLINE», требуется авторизация | |
| 856 | 4 | |u https://doi.org/10.23681/561272 | |
| 900 | |a https://img.biblioclub.ru/sm_cover/95343041bbf3b819accbde0fc52bced7d9vp58c5ix/cover.jpg | ||