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

Базы данных


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

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


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


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

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