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