Без заголовка

1) На кафедре информатики МФТИ есть энтузиасты, которые предлагают другим кафедрам использовать http://ejudge.mipt.ru/ , но это, на мой (и большинтсва) взгляд, перехлёст и подмена физики с математикой программированием. Годится (вне информатики) только как вишенка на торт для будущих программистов, но не как основное блюдо. 2) На кафедре высшей математики лет 10 назад разрабатывали программную среду для доказательства теорем и читали по ней спецкурс с практикумом. Потом сами авторы признали, что эта среда вырабатывает не те способы мышления, что обычное изучение математики, так что, чтобы не портить стиль мышления студентам, им надо сперва обычный курс математики.