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

Базы данных


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

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


    Клещев, А. С.
    Модель аналогии между математическими доказательствами [Текст] / А. С. Клещев ; ст. представлена к публ. О. П. Кузнецовым // Проблемы управления. - 2007. - N 1. - С. 20-24. - Библиогр.: с. 25 (6 назв.). - 2; Модель аналогии между доказательствами. - 2; Обобщение доказательств. - 2; Обнаружение аналогии и построение доказательства целевой теоремы. - 2; Генерация лемм с использованием аналогии. - 2; Генерация аналогичных теорем и их доказательств
УДК
^A519.7
ББК 22.18
Рубрики: Математика--Математическая кибернетика
Кл.слова (ненормированные):
аналогия -- доказательства -- обобщение доказательств -- математическая практика -- модель математической практики -- леммы -- генерация лемм -- теоремы аналогичные


Доп.точки доступа:
Кузнецов, О. П. (член редколлегии) \.\
Имеются экземпляры в отделах: всего 1 : з.п. (1)
Свободны: з.п. (1)

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