Дискретный анализ. Формальные системы и алгоритмы. Учебное пособие для академического бакалавриата

• Автор: Журавлев Ю.И.
• Издательство: Юрайт
• Серия: Бакалавр. Академический курс
• Год издания: 2020
• Обложка: твердый переплет
• Страниц: 318
• Томов: 1
• Вес: 398 г.
• ISBN: 978-5-534-06279-3

Описание

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

Издание исправленное и дополненное.

Товар сертифицирован и соответствует нормам качества, безопасности и гигиены. На любую покупку распространяется гарантия. Предлагается накопительная система скидок, зависящая от объема совершавшихся ранее покупок. Быстрая доставка курьером или в пункт выдачи в срок от 1 дня. Развернутую информацию о сроках доставки и размере скидки можно будет узнать на странице оформления заказа. Приятных покупок.