Формальные системы. Практикум. Е. В. Зайцева
Формальные системы. Практикум
Год выпуска: 2019
Автор произведения: Е. В. Зайцева
Жанр: Учебная литература
Издательство: МИСиС
isbn:
Краткое описание:
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».