Повышаем образовательный уровень в России

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

Авторы книги: Журавлев Ю.И., Флеров Ю.А., Вялый М.Н.
Все авторы
Фото не найдено
Журавлев Юрий Иванович

академик РАН, профессор, доктор физико-математических наук, академик РАЕН, Почетный академик РАО, заслуженный профессор МГУ им. М.В.Ломоносова, заслуженный профессор МФТИ, Почетный доктор Самарского государственного аэрокосмического университета им. акад. С.П. Королева

Фото не найдено
Флеров Юрий Арсениевич

член-корреспондент РАН, доктор физико-математических наук, академик РАЕН, профессор

Фото не найдено
Вялый Михаил Николаевич

кандидат физико-математических наук

Свернуть список авторов
Год издания:
2018
К-во страниц:
318
Тип обложки:
Переплет
ISBN:
978-5-534-06279-3
Издательство:
М.:Издательство Юрайт
Аннотация:
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.

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

В комплект к этой книге рекомендуем