Учебное пособие "Дискретный анализ. Формальные системы и алгоритмы" является важным ресурсом для студентов академического бакалавриата, знакомящимся с основами теории формальных систем и теории алгоритмов. Книга содержит обзор классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге представлены многочисленные задачи, которые помогут студентам лучше усвоить материал, а также ответы на эти задачи с подробным разбором решений и указаниями. Справочное приложение поможет читателям понять понятия, не определенные в основном тексте. Основная цель учебника - помочь студентам углубить свои знания в области дискретного анализа и развить навыки решения задач.
Данное учебное пособие представляет собой курс дискретного анализа, в котором наглядно представлены основы формальных систем, а также теория алгоритмов. Произведен подробный разбор классической и интуиционистской методик, наряду с вниманием к таким элементам, как гильбертовское исчисление высказываний и исчисление предиката. Также в учебнике детально отображены базисные элементы логики, доступные в первом порядке. Книга содержит большой выбор различных задач с незамедлительным проигрыванием демонстрируемой методики, а все ответы сопровождаются тщательным разбором совершенных выборов. Справочное приложение выполнено с учетом представления информации в наиболее удобоваримом формате для читателя.
Электронная Книга «Дискретный анализ. Формальные системы и алгоритмы 2-е изд., испр. и доп. Учебное пособие для академического бакалавриата» написана автором М. Н. Вялый в 2018 году.
Минимальный возраст читателя: 0
Язык: Русский
Серии: Бакалавр. Академический курс
ISBN: 9785534062793
Описание книги от М. Н. Вялый
В данном учебном пособии излагаются основы теории формальных систем и теории алгоритмов. В книге рассматриваются примеры классического и интуиционистского исчисления высказываний гильбертовского типа, а также исчисление предикатов, основы формальной логики первого порядка и основы теории алгоритмов. В книге содержится большое количество разнообразных задач, которые помогут лучшему усвоению материала, также в книге даны ответы к задачам с подробным разбором решений и указаниями, что позволяет студентам использовать пособие при самостоятельной работе. В справочном приложении для удобства читателей разъясняется смысл понятий, не определенных в основном тексте.
