Соболева Н. В. Инструментальные средства поддержки обработки математической информации

Объект исследования: Методы и модели подачи знаний, носителями которых выступают математические тексты. Цель исследования: Разработка инструментария информационной поддержки решения задач и консультаций в области математики. Методы исследования и аппаратура: Общая методика базируется на результатах теории проектирования сложных программных систем, теории алгебраического программирования, теорий структур данных и подачи знаний, экспериментах на ЭВМ. Теоретические результаты и новизна: Выполнено разработку модельной подачи математического текста с целью выявления взаимосвязи его содержательных структур. Практические результаты и новизна: Разработано и реализовано инструментарий для построения интерактивной среды математических знаний, что обеспечивает функции консультирования и пояснения. Предмет и степень внедрения: Построено прототип интерактивной среды математических знаний, применненный в исследовательских и учебных процессах. Эффективность внедрения: Применение построенного прототипа в учебном процессе в ВУЗе позволило повысить эффективность обучения. Сфера (область) использования: Научно-исследовательские и учебные учреждения, что занимаются обработкой математических знаний и построением интеллектуальных интерфейсов.