Штучний інтелект

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

Ключові слова:

Посилання:

1. Львов М.С. Основные принципы построения педагогических программных средств поддержкипрактических занятий / М.С. Львов // Управляющие системы и машины. – 2006. – № 6. – С. 70-75.
2. Львов М.С. Концепция информационной поддержки учебного процесса и ее реализация в педагогических программных средах / М.С. Львов // Управляющие системы и машины. – 2009. – № 2. –С. 52-57, 72.
3. Львов М.С. Принципы проектирования логического вывода в пользовательском интерфейсе школьной системы компьютерной алгебры (ТерМ) / М.С. Львов // Теоретичні та прикладні аспекти побудовипрограмних систем : тези доповідей міжнародної конференції TAAPSD’2006, (5 – 8 грудня 2006 р.). –Київ. – С. 19-23.
4. Львов М.С. Проектирование логического вывода как пошагового решения задач в математических системах учебного назначения / М.С. Львов // Управляющие системы и машины. – 2008. – № 1. – С. 25-32.
5. Бадд Т. Объектно-ориентированное программирование в действии / Бадд Т. ; пер. с англ. – СПб. :Питер, 1997. – 464 с., ил.
6. Буч Г. Объектно-ориентированный анализ и проектирование с примерами приложений на С++ /Буч Г. ; пер. с англ. – [2-е изд.]. – М. : «Издательство Бином», СПб. : «Невский диалект», 1998. –560 с., ил.
7. Выгодский М.Я. Справочник по высшей математике / Выгодский М.Я. – [8-е изд.]. – М. : Наука,1966. – 872 с., ил.