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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Белякин Н. В., Черепанов Е. М.
Заглавие : Об основных критериях убедительности доказательства
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2010. - N 3. - С.31-44. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 43-44 (8 назв. )
УДК : 16 + 510.6
ББК : 87.42 + 22.12
Предметные рубрики: Логика
Логические формы и законы
Математика
Математическая логика
Ключевые слова (''Своб.индексиров.''): доказательства (математика)--убедительность--убедительность доказательства--формализуемость--компьютерные доказательства--полнимание доказательства--обозримость доказательства--простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)