Про залучення комп’ютерних середовищ до доведення теорем шкільного курсу планіметрії

Вантажиться...
Ескіз
Дата
2014
Назва журналу
Номер ISSN
Назва тому
Видавець
СумДПУ імені А. С. Макаренка
Анотація
У статті розглянуто питання, пов’язані з можливістю комп’ютерних підтрерджень теорем шкільного курсу планіметрії. Виділено дві групи програм, які сприяють організації навчання емпірично доводити теореми. Розглянуті приклади підтерджень теорем у середовищі СКМ (на основі методу координат) та динамічної геометрії (як емпірична перевірка виконання факту).
The article discusses issues related to the possibility of computer proofs of theorems school course planimetry. Two groups of programs that contribute to the organization of learning to prove theorems. The examples of proofs of theorems in SCM environment (based on the method of coordinates) and dynamic geometry (as an empirical verification of compliance with the fact).
Опис
Ключові слова
теорема, комп’ютерне доведення, комп’ютерний експеримент, theorem, proving computer, computer experiment
Бібліографічний опис
Семеніхіна, О. В. Про залучення комп’ютерних середовищ до доведення теорем шкільного курсу планіметрії [Текст] / О. В. Семеніхіна, С. В. Шамрай // Актуальні питання природничо-математичної освіти : збірник наукових праць / Міністерство освіти і науки України, Сумський державний педагогічний ун-т ім. А. С. Макаренка ; [голова редкол. О. С. Чашечникова; редкол.: В. Г. Бевз, В. Ватсон, Л. П. Величко та ін.]. – Суми : [СумДПУ ім. А. С. Макаренка], 2014. – Вип. 4. – С. 156–160.