Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата
Жанры:
Читать онлайн:
Книги из серии:
Вам понравится:
Описание:
Книга автора М. Н. Вялый. Относится к жанрам: . Объем: 319 стр.. Дата написания: 2018. Возрастное ограничение: 0+.
Вы можете в один клик скачать книгу ‘Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата’ в форматах fb2, ePub, txt без регистрации. Или же, выбирая подходящий Вам вариант, читать онлайн ‘Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата’ на нашем сайте. Здесь Вы легко сможете выбрать нужную книгу в соответствии со своими предпочтениями.
Если Вы ещё не определились с выбором, то посмотрите разделы «Рейтингов» и «Обзоров книг» нашего сайта, там сможете подобрать книгу или серию книг, которые Вам обязательно понравятся.
Аннотация:
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
Реклама. ООО ЛИТРЕС, ИНН 7719571260, erid: 2VfnxyNkZrY

