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