Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії

• Опубліковано в: : Штучний інтелект
• Дата: 2010
• Автор: Львов, М.С.
• Формат: Стаття
• Мова: Ukrainian
• Опубліковано: Інститут проблем штучного інтелекту МОН України та НАН України 2010
• Теми: Моделирование объектов и процессов
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/56133
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Математичні моделі та методи підтримки ходу розв’язання навчальних задач з аналітичної геометрії / М.С. Львов // Штучний інтелект. — 2010. — № 1. — С. 86-92. — Бібліогр.: 7 назв. — укр.

Роботу присвячено проблемі проектування автоматичного режиму підтримки ходу розв’язання задач аналітичної геометрії в математичній системі навчального призначення. Автоматичний режим полягає у тому, що на кожному кроці розв’язання задачі користувач визначає елементарне перетворення математичної моделі задачі, а система його виконує. Ми визначаємо математичну модель задачі аналітичної геометрії та пропонуємо класифікацію елементарних перетворень, яка дозволяє побудувати повний, несуперечливий та методично правильний перелік елементарних перетворень. Работа посвящена проблеме проектирования автоматического режима поддержки хода решения задач аналитической геометрии в математической системе учебного назначения. Автоматический режим заключается в том, что на каждом шаге решения задачи пользователь определяет элементарное преобразование математической модели задачи, а система его выполняет. Мы определяем математическую модель задачи аналитической геометрии и предлагаем классификацию элементарных преобразований, которая позволяет построить полный, непротиворечивый и методически правильный список элементарных преобразований.