Задания контрольной по исчислению предикатов
Раздаточные материалы по дисциплине Математическая логика и теория алгоритмов
Название материала: Задания контрольной по исчислению предикатовАвтор: Первухин Михаил Александрович
Дисциплина: Математическая логика и теория алгоритмов
Аннотация: Более подробную информацию смотрим в электронном курсе, размещенном в Moodle http://edu.vvsu.ru/course/view.php?id=1514