ТеорМат

Программа ТеорМат является средством для активного и глубокого изучения теоретических основ математического анализа. В отличие от любого традиционного учебника, который предполагает чтение (пассивное изучение), программа ТеорМат предполагает самостоятельное доказательство теорем и самостоятельное решение теоретических задач (активное изучение). Для этого программа ТеорМат создает среду, удобную для доказательства теорем и следит за корректностью доказательства. Среда для доказательства теорем состоит из следующих элементов