Книга "Формальные системы. Практикум" содержит множество задач и упражнений, которые помогут закрепить и расширить материал лекций по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов - то, что называется "формальные системы". Эта книга рассчитана на бакалавров, изучающих направление "Информатика и вычислительная техника".
Практикум содержит разнообразные задачи и упражнения, способствующие закреплению теоретического материала и практическому освоению избранных разделов современной логики: исчисления высказываний, алгебры предикатов. Рассчитан на студентов, обучающих по специальности "Информатика и вычислительня техника", хотя может быть полезен естественно-математического направления.
Электронная Книга «Формальные системы. Практикум» написана автором Е. В. Зайцева в 2019 году.
Минимальный возраст читателя: 0
Язык: Русский
Описание книги от Е. В. Зайцева
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
