Клещев, А. С. Концепция банка математических знаний для научных исследований [Текст]. Ч. 1. Метафора / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым // Проблемы управления. - 2008. - N 4. - С. 2-6. - Библиогр.: с. 6 (13 назв. ) . - ISSN 1819-3161
Рубрики: Техника Автоматизация оборудования Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): математическая практика -- математические исследования -- научная деятельность -- научные исследования -- математические знания -- банк математических знаний -- компьютерные системы -- доказательства -- построение доказательств -- интуитивные доказательства -- интерактивное построение доказательств Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики. Доп.точки доступа: Кузнецов, О. П. (член редколлегии) \.\ |