... различия между точным и (или) приближенным математическим доказательством, в частности, компьютерной оценкой, приближенным измерением , вычислением и др. Поддерживать баланс между самостоятельным открытием, узнаванием нового и технической тренировкой... ...