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

Базы данных


- результаты поиска

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Клещев А. С.
Заглавие : Концепция банка математических знаний для научных исследований . Ч. 1 : Метафора
Серия: Математические проблемы управления
Место публикации : Проблемы управления. - 2008. - N 4. - С.2-6. - ISSN 1819-3161. - ISSN 1819-3161
Примечания : Библиогр.: с. 6 (13 назв. )
УДК : 681.3:62-52 + 004.41/.42
ББК : 30.6-5-05 + 32.973-018
Предметные рубрики: Техника
Автоматизация оборудования
Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): математическая практика--математические исследования--научная деятельность--научные исследования--математические знания--банк математических знаний--компьютерные системы--доказательства--построение доказательств--интуитивные доказательства--интерактивное построение доказательств
Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
Распределенный
По словарю
ГРНТИ-навигатор
УДК-навигатор
ББК-навигатор
Тематический навигатор
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)