В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
Дискретный анализ. Формальные системы и алгоритмы 2-е изд. , испр. И доп. Учебное пособие для академического бакалавриата
Учебная литератураВ данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов.В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
$43.99
Вес | 14.2 унция |
---|---|
Габариты | 8.5 × 5.7 × 1.0 дюйм |
ISBN | 978-5-534-06279-3 |
дата-получения | 06.12.2017 |
формат | 60×90/16 |
Издательство | |
Серия | |
переплет | Твердый переплет |
Автор | |
стандарт | 14 |
EAN | 9785534062793 |
Год выпуска | |
количество-страниц | 318 |
SKU | 491079 |
формат-ммсм | 145×215 |
тираж | 4 |
handling_time | 20 days |