Дискретный анализ. Формальные системы и алгоритмы 2-е изд. , испр. И доп. Учебное пособие для академического бакалавриата
Оформить заказ
Серия:Бакалавр. Академический курс
Автор:Журавлев Ю. И., Флеров Ю. А., Вялый М. Н.
Издательство:Юрайт
Страниц:318
Год:2022
Обложка:Твердый переплет
Размер:60x90/16
SKU:RU1049475
ISBN:9785534062793
Наша цена:US $108.00
Пункты выдачи магазин ТРОЙКА
Отправка почтой: August 16th от US $12.00, бесплатно при заказе от US $100.00.
Точная стоимость доставки будет рассчитана при оформлении заказа.
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.