Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 16.12.2025; планируемая отправка: 17.12.2025
Ожидаемое поступление (если вы сделаете заказ прямо сейчас): 19.12.2025; планируемая отправка: 20.12.2025
Технические характеристики
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов.В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.