Горячая линия
Вход / Регистрация
Войдите или зарегистрируйтесь, чтобы получить все преимущества платформы Юрайт!

Дискретный анализ. Формальные системы и алгоритмы

  • Скопировать в буфер библиографическое описание
    Журавлев, Ю. И.  Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2021. — 318 с. — (Высшее образование). — ISBN 978-5-534-06279-3. — Текст : электронный // ЭБС Юрайт [сайт]. — URL: https://urait.ru/bcode/470982 (дата обращения: 17.05.2021).
  • Добавить в избранное
2-е изд., испр. и доп. Учебное пособие для вузов
2021
Страниц 318
Обложка Твердая
Гриф Гриф УМО ВО
ISBN 978-5-534-06279-3
Библиографическое описание
Журавлев, Ю. И.  Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2021. — 318 с. — (Высшее образование). — ISBN 978-5-534-06279-3. — Текст : электронный // ЭБС Юрайт [сайт]. — URL: https://urait.ru/bcode/470982 (дата обращения: 17.05.2021).
Показать все

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