ДИСКРЕТНЫЙ АНАЛИЗ. ФОРМАЛЬНЫЕ СИСТЕМЫ И АЛГОРИТМЫ 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата

Журавлев Ю.И., Флеров Ю.А., Вялый М.Н. Подробнее

Страниц: 318

Тип обложки: Переплет

Год: 2018 / Гриф УМО ВО

ISBN: 978-5-534-06279-3


 

Для учебных заведений
310 руб. 1 650 руб. 619 руб.
Журавлев, Ю. И. Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для академического бакалавриата / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый. — 2-е изд., испр. и доп. — М. : Издательство Юрайт, 2018. — 318 с. — (Серия : Бакалавр. Академический курс). — ISBN 978-5-534-06279-3.

Аннотация

В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.

Оглавление