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

Базы данных


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

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


    Хлебалин, А. В.
    Коллективные результаты и коллективная верифакация математического результата [Текст] / А. В. Хлебалин // Философия науки. - 2022. - № 4. - С. 65-74. - Библиогр.: 9 назв. . - ISSN 1560-7488
УДК
^a1
^a510
ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки
   Математика
   Общие вопросы математики
Кл.слова (ненормированные):
верификация -- верификация доказательства -- математические результаты -- математическое доказательство -- социальная эпистемология
Аннотация: Выявляются трудности применения концепции верификации доказательства к коллективно полученным математическим результатам.

Нет сведений об экземплярах (Источник в БД не найден)

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