Основной контент книги Формальные системы. Практикум
Текст PDF
Объем 38 страниц
2019 год
Формальные системы. Практикум
автор
Е. В. Зайцева
185 ₽
399 ₽
Начислим +6
Покупайте книги и получайте бонусы в Литрес, Читай-городе и Буквоеде.
Участвовать в бонусной программеО книге
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы».
Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Войдите, чтобы оценить книгу и оставить отзыв
Книга Е. В. Зайцевой «Формальные системы. Практикум» — читать онлайн на сайте. Оставляйте комментарии и отзывы, голосуйте за понравившиеся.
Возрастное ограничение:
0+Дата выхода на Литрес:
01 апреля 2019Дата написания:
2019Объем:
38 стр. Общий размер:
875 КБОбщее кол-во страниц:
38Правообладатель:
МИСиС