| Главная | Каталог |
» Каталог
» Образование, учебная литература » ВУЗовская литература » Математика. Алгебра » Учебники: доп. пособия
Каталог товаров:
Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата. Журавлев Ю.И., Флеров Ю.А., Вялый М.Н.
1407 руб
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте. Из серии: Бакалавр. Академический курс
2020
