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

Скорочена інформація про документ
dc.contributor.authorСеменіхіна Олена Володимирівна
dc.contributor.authorSemenikhina Olena Volodymyrivna
dc.contributor.authorШамрай Світлана
dc.contributor.authorShamrai Svitlana
dc.date.accessioned2019-01-24T13:57:07Z
dc.date.available2019-01-24T13:57:07Z
dc.date.issued2014
dc.description.abstractУ статті розглянуто питання, пов’язані з можливістю комп’ютерних підтрерджень теорем шкільного курсу планіметрії. Виділено дві групи програм, які сприяють організації навчання емпірично доводити теореми. Розглянуті приклади підтерджень теорем у середовищі СКМ (на основі методу координат) та динамічної геометрії (як емпірична перевірка виконання факту).uk_UA
dc.description.abstractThe 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).uk_UA
dc.identifier.citationСеменіхіна, О. В. Про залучення комп’ютерних середовищ до доведення теорем шкільного курсу планіметрії [Текст] / О. В. Семеніхіна, С. В. Шамрай // Актуальні питання природничо-математичної освіти : збірник наукових праць / Міністерство освіти і науки України, Сумський державний педагогічний ун-т ім. А. С. Макаренка ; [голова редкол. О. С. Чашечникова; редкол.: В. Г. Бевз, В. Ватсон, Л. П. Величко та ін.]. – Суми : [СумДПУ ім. А. С. Макаренка], 2014. – Вип. 4. – С. 156–160.uk_UA
dc.identifier.urihttps://repository.sspu.edu.ua/handle/123456789/6600
dc.language.isoukuk_UA
dc.publisherСумДПУ імені А. С. Макаренкаuk_UA
dc.subjectтеоремаuk_UA
dc.subjectкомп’ютерне доведенняuk_UA
dc.subjectкомп’ютерний експериментuk_UA
dc.subjecttheoremuk_UA
dc.subjectproving computeruk_UA
dc.subjectcomputer experimentuk_UA
dc.titleПро залучення комп’ютерних середовищ до доведення теорем шкільного курсу планіметріїuk_UA
dc.title.alternativeAbout the Computer Theorem Proving School Course Planimetryuk_UA
dc.typeArticleuk_UA
dc.udc.udc378.14:371.214.46:[004.78:51]uk_UA
Файли
Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Semenikhina O.V., Shamray S.V..pdf
Розмір:
347.27 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
2.99 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити
Зібрання
Актуальні питання природничо-математичної освіти