Дискретный анализ. Формальные системы и алгоритмы 2-е изд. , испр. И доп. Учебное пособие для академического бакалавриата
![]() |
Серия:Бакалавр. Академический курс Автор:Журавлев Ю. И., Флеров Ю. А., Вялый М. Н. Издательство:Юрайт Страниц:318 Год:2022 Обложка:Твердый переплет Размер:60x90/16 SKU:RU1049475 ISBN:9785534062793 Наша цена:US $102.00
Отправляется через 16-24 дня
|
Описание
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.©2024 Troyka Online All rights reserved.