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

Главная

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

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

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

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

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

Диссертации

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

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

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

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

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

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

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

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

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

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

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

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

Найти похожие

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

УДК

^a519.7

^a681.3:62-52

ББК 22.18 + 30.6-5-05
Рубрики: Математика
   Математическая кибернетика
   Техника
   Автоматизация оборудования
Кл.слова (ненормированные):
интуитивные доказательства -- модель интуитивного доказательства -- целевое утверждение -- научные исследования -- структурное доказательство -- модульное доказательство -- банки знаний -- банк математических знаний -- БМЗ -- системные процессы -- интеграторы
Аннотация: Статья завершает цикл из двух статей, посвященных концепции системы компьютерной поддержки научной деятельности в области математики. Приведены модель интуитивного доказательства, требования к средствам поддержки исследователей и интеграторов знаний, а также к системным процессам.

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

Найти похожие

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

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