Формальные системы. Практикум
Автор:Елена Зайцева
» Все книги этого автора
Описание книги
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Тип:PDF Книга
Цена:185.00 руб.
Язык: Русский
Просмотры: 134
Скачать ознакомительный фрагмент
ЧТО КАЧАТЬ и КАК ЧИТАТЬ
КУПИТЬ И СКАЧАТЬ ЗА: 185.00 руб.