TY JOUR TI Оценка дидактической сложности доказательства теорем школьного курса геометрии KW дидактика KW доказательство KW логические рассуждения KW семантическая информация KW сложность KW теорема KW свертывание знаний JO Стандарты и мониторинг в образовании AU Майер, Р.В. PY 2020 IS 8 PB Общество с ограниченной ответственностью «Научно-издательский центр ИНФРА-М»