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