Зайцева, Е. В. Формальные системы [Электронный ресурс] : практикум / Зайцева Е. В. - Москва : Издательский Дом МИСиС, 2019. - 36 с. - Б. ц. Книга находится в Премиум-версии ЭБС IPRbooks. Режим доcтупа:
Кл.слова (ненормированные): аксиоматический метод -- асу -- математический метод -- предикат -- формальная система Аннотация: Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника». Свободных экз. нет |