Формальные системы. Практикум
0
Жанр Учебники И Пособия Для Вузов, Практикумы, Информатика И Вычислительная Техника
Год 2019
Издательство
Объём книги Фрагмент
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Скачать бесплатно книгу “Формальные системы. Практикум”
Доступные форматы для скачивания:
Комментарии 0
