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

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

2-е изд., испр. и доп. Учебное пособие для академического бакалавриата

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

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

Подробнее

2018

Страниц 318

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

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

ISBN 978-5-534-06279-3

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

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

Серия

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

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

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

Дисциплины

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

Показать все

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