Главная Упрощенный режим Описание Шлюз Z39.50
Авторизация
Фамилия
Пароль
 

Базы данных


БД "Статьи" - результаты поиска

Вид поиска
БД "Книги"
БД "Статьи"
Труды АМГУ
Выпускные квалификационные работы
Антитеррор
Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>K=интерактивное построение доказательств<.>)
Общее количество найденных документов : 1
1.


    Клещев, А. С.
    Концепция банка математических знаний для научных исследований [Текст]. Ч. 1 . Метафора / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым // Проблемы управления. - 2008. - N 4. - С. 2-6. - Библиогр.: с. 6 (13 назв.) . - ISSN 1819-3161
УДК
^A681.3:62-52
^A004.41/.42
ББК 30.6-5-05 + 32.973-018
Рубрики: Техника
   Автоматизация оборудования
   Вычислительная техника
   Программирование ЭВМ. Компьютерные программы. Программотехника
   
Кл.слова (ненормированные):
математическая практика -- математические исследования -- научная деятельность -- научные исследования -- математические знания -- банк математических знаний -- компьютерные системы -- доказательства -- построение доказательств -- интуитивные доказательства -- интерактивное построение доказательств
Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.


Доп.точки доступа:
Кузнецов, О. П. (член редколлегии) \.\

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
Статистика
за 02.09.2024
Число запросов 83290
Число посетителей 1
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)