О магазине Контакты Оплата и доставка Как заказать? Помощь
Загрузка...

Прикладная логика. Учебное пособие — Николай Непейвода

Арт.: 850109265

Автор:   Николай Непейвода
Переплет:    Твердый
Страниц:    576
Формат:    205x260 мм
Иллюстрации:    рисунки черно-белые

2236
00
грн.
  



 В "Желаемое"  

Отгрузка: 12.08.2022
Контакты
• 050-413-64-94, 067-371-89-89, 063-233-0-299
Подробнее →

Доставка
• Курьером по Киеву: 60 грн.
• Курьером по Украине: от 60 грн.
• Новая почта до склада: от 40 грн.
• Укрпочта: от 25 грн.
Подробнее →

Оплата
• Расчет при получении
• Предоплата
Подробнее →

Описание

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

Отзывы

|
Получайте бонусы за отзывы! 

Написать отзыв

Введите символы (цифры и латинские буквы), которые Вы видите на рисунке (это защита от спам-роботов):



Задать вопрос

Введите символы (цифры и латинские буквы), которые Вы видите на рисунке (это защита от спам-роботов):



 

Новости


Все категории