Поиск:
Войти
Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Язык: Русский
Тип: Текст
Издательство: М.:Издательство Юрайт
Год издания: 2018
ISBN: 9785534062793
Бесплатный фрагмент: pdf
Полная версия
- О книге
- Читать
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
Читать онлайн «Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата»
Отзывы о книге «Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата»
Другие книги автора:
Популярные книги