Формальные системы. Практикум

Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».

В нашей библиотеке Вы имеете возможность скачать книгу Формальные системы. Практикум Е. В. Зайцева или читать онлайн в формате pdf, а также можете купить бумажную книгу в интернет магазине партнеров.