Формальные системы. Практикум. Е. В. Зайцева
- Тип: Текст PDF
- Автор:
- Издательство: МИСиС(2019)
- Год написания: 2019
- Страниц: 5
- Язык: Русский
185 руб.
Отложить
- Описание
- Фрагмент
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
