Pdf-книга
Формальные системы. Практикум
Цена : 185 руб.
-
Автор: Елена Зайцева
-
Жанр: Учебная литература
О книге
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».