Дискретный анализ. Формальные системы и алгоритмы
-
Скопировать в буфер библиографическое описание
Журавлев, Ю. И. Дискретный анализ. Формальные системы и алгоритмы : учебное пособие для вузов / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый. — 2-е изд., испр. и доп. — Москва : Издательство Юрайт, 2024. — 318 с. — (Высшее образование). — ISBN 978-5-534-06279-3. — Текст : электронный // Образовательная платформа Юрайт [сайт]. — URL: https://urait.ru/bcode/537918 (дата обращения: 14.08.2024).
- Добавить в избранное
![](/images/ajax.gif)
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.