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

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

2-е изд., испр. и доп. Учебное пособие для вузов

Обложка книги ДИСКРЕТНЫЙ АНАЛИЗ. ФОРМАЛЬНЫЕ СИСТЕМЫ И АЛГОРИТМЫ Журавлев Ю. И., Флеров Ю. А., Вялый М. Н. Учебное пособие

Ознакомиться

Подробнее

2020

Страниц 318

Обложка Твердая

Гриф Гриф УМО ВО

ISBN 978-5-534-06279-3

Библиографическое описание

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

Серия

Высшее образование

Тематика/подтематика

Математика и статистика / Дискретная математика и математическая логика
Математика и статистика / Математический анализ

Дисциплины

Дополнительные главы дискретной математики, математической логики , Высшая алгебра и аналитическая геометрия , Дискретные и математические модели , Дискретный анализ

Показать все

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