Научная библиотека СГЮА

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

Книги фонда НБ СГЮА

Дипломные работы выпускников СГЮА за последние 5 лет

Авторефераты

Диссертации

Период.издания науч.абонемента

Редкие книги Научной библиотеки СГЮА

Каталог электронных носителей

Труды ученых СГЮА

Саратовский край

Область поиска

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=интуитивные доказательства<.>)

Общее количество найденных документов : 2
Показаны документы с 1 по 2

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Клещев А. С.
Заглавие : Концепция банка математических знаний для научных исследований . Ч. 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
Предметные рубрики: Техника
Автоматизация оборудования
Вычислительная техника
Программирование ЭВМ. Компьютерные программы. Программотехника
Ключевые слова (''Своб.индексиров.''): математическая практика--математические исследования--научная деятельность--научные исследования--математические знания--банк математических знаний--компьютерные системы--доказательства--построение доказательств--интуитивные доказательства--интерактивное построение доказательств
Аннотация: На основе расширяемой внутренней модели математической практики и модели аналогии между доказательствами предложена концепция системы компьютерной поддержки научной деятельности в области математики и реализующих ее механизмов. Приведена метафора системы и структура внешней модели математической практики.
Найти похожие

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Клещев, Александр Сергеевич (д-р физ.-мат. наук; зав. отделом)
Заглавие : Концепция банка математических знаний для научных исследований. . Ч. 2. : Интерактивное формирование интуитивных доказательств
Серия: Математические проблемы управления
Место публикации : Проблемы управления. - 2008. - N 5. - С.26-30. - ISSN 1819-3161. - ISSN 1819-3161
Примечания : Библиогр.: с. 30 (2 назв. )
УДК : 519.7 + 681.3:62-52
ББК : 22.18 + 30.6-5-05
Предметные рубрики: Математика
Математическая кибернетика
Техника
Автоматизация оборудования
Ключевые слова (''Своб.индексиров.''): интуитивные доказательства--модель интуитивного доказательства--целевое утверждение--научные исследования--структурное доказательство--модульное доказательство--банки знаний--банк математических знаний--бмз--системные процессы--интеграторы
Аннотация: Статья завершает цикл из двух статей, посвященных концепции системы компьютерной поддержки научной деятельности в области математики. Приведены модель интуитивного доказательства, требования к средствам поддержки исследователей и интеграторов знаний, а также к системным процессам.
Найти похожие

Тематический навигатор

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)