Формальные системы. Практикум
Е. В. Зайцева
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
- Категория: учебники и пособия для вузов
- Правообладатель: МИСиС
- Год написания: 2019
- Возрастное ограничение: 0+
- Легальная стоимость: 185.00 руб.
Читать книгу «Формальные системы. Практикум» онлайн:
Комментарии ():
Вам также может понравиться:
