Формальные системы. Практикум. Е. В. Зайцева

Скачать книгу в различных форматах или читать онлайн на сайте.

Название: Формальные системы. Практикум

Автор: Е. В. Зайцева

Издательство: МИСиС

Жанр: Учебная литература

Серия:

isbn:

isbn: 2019

Аннотация:

Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».