В статье представлено описание проекта электронного учебника для организации осознанной деятельности учащегося по самостоятельному овладению приемами и методами доказательства математических теорем.

В статье представлена специальная диагностическая методика для определения уровня развития логической рефлексии. Разработанные тесты содержат семь блоков заданий и вопросов, с помощью которых можно установить степень осознания учащимися таких мыслительных операций, как анализ, сравнение, обобщение, классификация; и таких логических форм мышления, как понятие, суждение, умозаключение.