Детская образовательная литература
Формальные системы. Практикум
Жанр — Детская образовательная литература; год издания — 2019; язык — Русский; формат — pdf.
О книге
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Темы: математические методы, бакалавриат
