Книга Формальные системы. Практикум
- Жанр: Учебники и пособия для вузов, Информатика и вычислительная техника, Практикумы
- Год издания: 2019
- Издательство: МИСиС
Практикум содержит набор задач и упражнений, необходимый для закрепления и расширения лекционного материала по таким разделам, как исчисление высказываний, алгебра предикатов и исчисление предикатов, именно то, что входит в понятие «формальные системы». Практикум предназначен для бакалавров, по направлению «Информатика и вычислительная техника».
Рекомендуем посмотреть
Сборник основных формул по химии для вузов
Социология. Учебник для вузов
Правоведение. Учебное пособие
Личность в условиях психической депривации. Учебное пособие
Макроэкономика
Психоанализ. Учебное пособие
Связи с общественностью: социально-психологические аспекты. Учебное пособие
Системы, методы и инструменты менеджмента качества. Учебное пособие