Логико-оптимизационные методы интеллектуализации обучающих системтезисы доклада