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