НОУ ИНТУИТ Основы САПР. Лекция 8: Методическое обеспечение САПР. Математический Формальный язык программирования пример