Пошук академічних текстів

Інформація × Реєстраційний номер 0493U001023, Кандидатська дисертація На здобуття к.ф.-м.н. Дата захисту 25-12-1992 Статус Запланована Назва роботи Инструментальные средства поддержки обработки математической информации Здобувач Соболева Наталья Владимировна, Керівник Капитонова Ю.В. Опонент Анисимов А.В. Опонент Асельдеров З.М. Опис Объект исследования: Методы и модели подачи знаний, носителями которых выступают математические тексты. Цель исследования: Разработка инструментария информационной поддержки решения задач и консультаций в области математики. Методы исследования и аппаратура: Общая методика базируется на результатах теории проектирования сложных программных систем, теории алгебраического программирования, теорий структур данных и подачи знаний, экспериментах на ЭВМ. Теоретические результаты и новизна: Выполнено разработку модельной подачи математического текста с целью выявления взаимосвязи его содержательных структур. Практические результаты и новизна: Разработано и реализовано инструментарий для построения интерактивной среды математических знаний, что обеспечивает функции консультирования и пояснения. Предмет и степень внедрения: Построено прототип интерактивной среды математических знаний, применненный в исследовательских и учебных процессах. Эффективность внедрения: Применение построенного прототипа в учебном процессе в ВУЗе позволило повысить эффективность обучения. Сфера (область) использования: Научно-исследовательские и учебные учреждения, что занимаются обработкой математических знаний и построением интеллектуальных интерфейсов. Дата реєстрації 1993-03-31 Додано в НРАТ 2021-03-18 Закрити