Математическая логика и теория алгоритмов для специальности 230104 «Системы автоматизированного проектирования»