Вид документа : Однотомное издание Шифр издания : 98926 Автор(ы) : Зайцева Е. В. Заглавие : Формальные системы : Практикум Выходные данные : Москва: Издательский Дом МИСиС, 2019 Колич.характеристики :36 с Примечания : Книга находится в Премиум-версии ЭБС IPRbooks. Цена : Б.ц. УДК : 00 ББК : 32.97 Ключевые слова (''Своб.индексиров.''): аксиоматический метод--асу--математический метод--предикат--формальная система Аннотация: Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».