Search Results - person:"ГАВРИЛОВА Т. Л."

ВНУТРЕННЯЯ МОДЕЛЬ МАТЕМАТИЧЕСКОЙ ПРАКТИКИ ДЛЯ СИСТЕМ АВТОМАТИЗИРОВАННОГО КОНСТРУИРОВАНИЯ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ. Ч. 3. МОДЕЛЬ ДОКАЗАТЕЛЬСТВА

ГАВРИЛОВА Т. Л.; КЛЕЩЕВ А. С. - In: Проблемы управления (2006) 3, pp. 68-71

Статья завершает цикл из трех работ, посвященных модели математической практики для систем автоматизированного доказательства теорем. Сформулированы правила...

Persistent link: https://www.econbiz.de/10011238287

МУЛЬТИДИСЦИПЛИНАРНАЯ СИСТЕМА УПРАВЛЕНИЯ ИНФОРМАЦИОННЫМИ РЕСУРСАМИ РАЗЛИЧНЫХ УРОВНЕЙ ОБЩНОСТИ

АРТЕМЬЕВА И. Л.; ГАВРИЛОВА Т. Л.; … - In: Проблемы управления (2006) 3, pp. 64-68

Рассмотрен подход к решению проблемы управления созданием, хранением и поддержкой в актуальном состоянии информационных ресурсов, а также обеспечением доступа...

Persistent link: https://www.econbiz.de/10011247273

ВНУТРЕННЯЯ МОДЕЛЬ МАТЕМАТИЧЕСКОЙ ПРАКТИКИ ДЛЯ СИСТЕМ АВТОМАТИЗИРОВАННОГО КОНСТРУИРОВАНИЯ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ Ч. 1. ОБЩЕЕ ОПИСАНИЕ МОДЕЛИ

ГАВРИЛОВА Т. Л.; КЛЕЩЕВ А. С. - In: Проблемы управления (2006) 3, pp. 32-35

Для разработки автоматизированных систем конструирования правильных доказательств математических утверждений на основе математических знаний предложена...

Persistent link: https://www.econbiz.de/10011247292

ВНУТРЕННЯЯ МОДЕЛЬ МАТЕМАТИЧЕСКОЙ ПРАКТИКИ ДЛЯ СИСТЕМ АВТОМАТИЗИРОВАННОГО КОНСТРУИРОВАНИЯ ДОКАЗАТЕЛЬСТВ ТЕОРЕМ. Ч. 2. МОДЕЛЬ МАТЕМАТИЧЕСКОГО ДИАЛЕКТА

ГАВРИЛОВА Т. Л.; КЛЕЩЕВ А. С. - In: Проблемы управления (2006) 3, pp. 68-73

Описан язык ММД формальная модель математического диалекта, используемого в математической практике при доказательстве математических утверждений....

Persistent link: https://www.econbiz.de/10011247340

АНАЛИЗ ПОДХОДОВ К РЕШЕНИИ ПРОБЛЕМЫ ПРАВИЛЬНОСТИ МАТЕМАТИЧЕСКИХ ЗНАНИЙ

ГАВРИЛОВА Т. Л.; КЛЕЩЕВ А. С. - In: Проблемы управления (2005) 3, pp. 13-19

Рассмотрены различные подходы к решению проблемы правильности математических знаний, предлагаемые математической практикой, математической и компьютерной...

Persistent link: https://www.econbiz.de/10011247364