Подробное описание документа

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

Аннотация

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

УДК
510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т.п.

Предметные рубрики

Дискретная математика - Учебники и пособия

Общее кол-во в фондах
2 экз.

Заказать на абонемент

Заказать в читальный зал

Вы можете получить данный документ в одном из следующих отделов

Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
Преподавательский абонемент ауд.313, ГУК, ауд. 313
Читальный зал ауд.305л, УЛК, ауд. 305л
Читальный зал ауд.313, ГУК, ауд. 313