Формальные системы. Практикум (Елена Вячеславовна Зайцева)

Формальные системы. Практикум (Елена Вячеславовна Зайцева)
Автор: Елена Вячеславовна Зайцева
Жанр: учебная и научная литератураучебники и пособия для вузовтехнические наукиинформатика и вычислительная техникапрактикумыматематические методыбакалавриатзнания и навыки
Язык: Русский
Размер: 385662 Кб
Полная версия:
Описание аудиокниги:
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».