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

Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Автор книги:     Оценка: 0.0     Голосов: 0     Отзывов: 0 559 руб.     (8,78$) Купить и читать книгу Купить бумажную версию Электронная книга Жанр: Учебная литература Правообладатель и/или издательство: ЮРАЙТ Дата публикации, год издания: 2018 Дата добавления в каталог КнигаЛит: ISBN: 9785534062793 Возрастное ограничение: 0+

Описание книги

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