Львов М. С. Теоретичні основи побудови систем комп'ютерної математики навчального призначення

Дисертацію присвячено дослідженню функціональних вимог, математичних моделей та методів побудови систем комп'ютерної математики, призначених для вивчення навчальних дисциплін, основаних на математичних знаннях (математичних моделях та методах). Ці системи використовують технології символьних (алгебраїчних) обчислень та методи комп'ютерної алгебри. На основі аналізу процесів навчання точним дисциплінам вперше запропоновано концепцію системи комп'ютерної математики навчального призначення як інтелектуальної інформаційної системи підтримки процесу навчання. Система має підтримувати усі види діяльності основних учасників процесу навчання. Визначено та розв'язано основну проблему: як поєднати потенційно широкі можливості, пов'язані з використанням символьних перетворень та методів комп'ютерної алгебри з вимогами щодо інтелектуальних можливостей систем навчального призначення. Основну увагу приділено математичним моделям та методам підтримки ходу розв'язання навчальних математичних задач. Також представлено алгоритми алгебраїчних обчислень та розв'язання задач у багатьох предметних областях. Ключові слова: інформаційні системи навчального призначення, символьні перетворення, комп'ютерна алгебра.