Lecture focused on the use of dynamic models for hypothesis verification in mathematics teaching at elementary and secondary schools.