Search academic texts

Information × Registration Number 0493U001023, Candidate dissertation Status к.ф.-м.н. Date 25-12-1992 popup.evolution o Title Author Соболева Наталья Владимировна, popup.head Капитонова Ю.В. popup.opponent Анисимов А.В. popup.opponent Асельдеров З.М. Description Объект исследования: Методы и модели подачи знаний, носителями которых выступают математические тексты. Цель исследования: Разработка инструментария информационной поддержки решения задач и консультаций в области математики. Методы исследования и аппаратура: Общая методика базируется на результатах теории проектирования сложных программных систем, теории алгебраического программирования, теорий структур данных и подачи знаний, экспериментах на ЭВМ. Теоретические результаты и новизна: Выполнено разработку модельной подачи математического текста с целью выявления взаимосвязи его содержательных структур. Практические результаты и новизна: Разработано и реализовано инструментарий для построения интерактивной среды математических знаний, что обеспечивает функции консультирования и пояснения. Предмет и степень внедрения: Построено прототип интерактивной среды математических знаний, применненный в исследовательских и учебных процессах. Эффективность внедрения: Применение построенного прототипа в учебном процессе в ВУЗе позволило повысить эффективность обучения. Сфера (область) использования: Научно-исследовательские и учебные учреждения, что занимаются обработкой математических знаний и построением интеллектуальных интерфейсов. Registration Date 1993-03-31 popup.nrat_date 2021-03-18 Close