Прикладная логика : учебное пособие

Нет оценок
Более 100просмотров
Менее 10покупок
0+
Описание
Характеристики
Отзывы

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

634

Другие предложения магазина

0+
Социология спорта : учебник

Похожие предложения

12+
#МояФилософия
Электронные книги
200
16+
Предфилософия и учение Махатм
18+
Философия
Электронные книги
480
16+
Философия
Электронные книги
320
12+
Философия
Электронные книги
280
0+
Философия
Электронные книги
488
16+
Философия
Электронные книги
104
18+
Философия
Ключи активации
5 200
7 384
30%
16+
Славянская метафилософия
200
6+
Моя философия
Электронные книги
80
18+
Философия лжи
Электронные книги
488
16+
Философия это Я
Электронные книги
148
18+
Философия Дяди
Электронные книги
200
16+
Философия души
Электронные книги
40
16+
Философия и философствование
12+
Это моя философия
Электронные книги
120
6+
Философия жизни
Электронные книги
200
6+
Философия жизни
Электронные книги
200
12+
Философия жизни
Электронные книги
400
18+
Философия мысли
Электронные книги
60
18+
Философия бытия
Электронные книги
400
16+
Философия бытия
Электронные книги
400

Наши проекты


Приложение Wildberries Цифровой
Наведите камеру на QR-код, чтобы скачать приложение

Наши проекты


Приложение Wildberries Цифровой
Наведите камеру на QR-код, чтобы скачать приложение
2021-2024 © Wildberries Цифровой, Wildberries v13.3.39. На торговой площадке digital.wildberries.ru применяются рекомендательные технологии.Адрес для направления юридически значимых сообщений: info@digital-wb.ru