Скопировать биб. запись
Для каталогаЗайцева, Е. В. Формальные системы : практикум / Зайцева Е. В. - Москва : МИСиС, 2019. - 36 с. - Текст : электронный // ЭБС "Консультант студента" : [сайт]. - URL : https://www.studentlibrary.ru/book/Misis_452.html (дата обращения: 22.11.2024). - Режим доступа : по подписке.
АннотацияПрактикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие "формальные системы". <br>Практикум предназначен для бакалавров, по направлению "Информатика и вычислительная техника".