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