Раздаточные материалы по дисциплине Математическая логика и теория алгоритмов

Название материала: Задания контрольной по исчислению предикатов

Автор: Первухин Михаил Александрович

Дисциплина: Математическая логика и теория алгоритмов

Аннотация: Более подробную информацию смотрим в электронном курсе, размещенном в Moodle http://edu.vvsu.ru/course/view.php?id=1514