Features of the formation of the skills of constructing a proof

Currently, mathematical methods penetrate into various fields of activity and underlie the world-changing information technologies. Formal memorization of theory, cramming, backed up by endless repetition, cripples the student's thinking. Mathematical knowledge does not exist if the student simply remembers the material, because the work of thought cannot be replaced by the work of memory.