Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке

  • О. В. Перченок
  • С. Н. Поздняков
  • И.А. Посов
Keywords: предметно-ориентированный язык, конструктивные геометрические задачи, система «1С, Образование 4.0 Школа», Java

Abstract

В статье предложен подход к разработке системы поддержки геометрических задач, в которой описание задачи строится на специально разработанном предметно-ориентированном языке, так что алгоритм решения задачи, подготовленный в какой-либо системе динамической геометрии, может быть верифицирован на формальном описании задачи. Приведено сравнение данного подхода с другими, рассмотрен формат хранения задач на геометрическом предметно-ориентированном языке. Описание проиллюстрировано примерами задач.
Published
2014-01-23
How to Cite
Перченок, О. В., Поздняков, С. Н., & Посов, И. (2014). Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. Computer Tools in Education, (1). Retrieved from http://cte.eltech.ru/ojs/index.php/kio/article/view/1293
Section
Articles

Most read articles by the same author(s)

<< < 1 2