Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
В нашей электронной библиотеке вы можете скачать книгу
«Формальные системы. Практикум» автора Е. В. Зайцевой
в формате epub, fb2, rtf, mobi, pdf себе на телефон, андроид, айфон, айпад, а так же читать онлайн и без регистрации. Ниже вы можете оставить отзыв о прочитанной или интересующей вас книге.
