ТОП просматриваемых книг сайта:
Формальные системы. Практикум. Е. В. Зайцева
Учебная литература.Информация о книге
Название Формальные системы. Практикум
Год выпуска 2019
isbn
Автор произведения Е. В. Зайцева
Жанр Учебная литература
Издательство МИСиС
Аннотация
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».