Формальные системы. Практикум

Елена Вячеславовна Зайцева

Жанр: учебники и пособия для вузов информатика и вычислительная техника практикумы математические методы бакалавриат

Язык: Русский

Тип: Текст

Год издания: 2019

Полная версия

О книге
Отзывы 0

Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».