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

Базы данных


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

Вид поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Белякин, Н. В.$<.>)
Общее количество найденных документов : 2
Показаны документы с 1 по 2
1.


    Белякин, Н. В.
    Об основных критериях убедительности доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2010. - N 3. - С. 31-44. - Библиогр.: с. 43-44 (8 назв. ) . - ISSN 1560-7488
УДК
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы

   Математика

   Математическая логика

Кл.слова (ненормированные):
доказательства (математика) -- убедительность -- убедительность доказательства -- формализуемость -- компьютерные доказательства -- полнимание доказательства -- обозримость доказательства -- простота доказательства
Аннотация: В статье рассматриваются основные понятия, которые чаще всего связываются с критериями убедительности доказательства, а также отношения между этими критериями.


Доп.точки доступа:
Черепанов, Е. М.
Нет сведений об экземплярах (Источник в БД не найден)

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

2.


    Белякин, Н. В.
    О критериях надежности интуитивного доказательства [Текст] / Н. В. Белякин, Е. М. Черепанов // Философия науки. - 2012. - № 4. - С. 99-109. - Библиогр.: с. 109 (10 назв. ) . - ISSN 1560-7488
УДК
ББК 87.25
Рубрики: Философия
   Философия науки

Кл.слова (ненормированные):
логика -- доказательства -- понятия -- интуиция
Аннотация: Понятие интуитивного доказательства представляется важным и при этом в достаточной мере туманным. В данной статье сделана попытка уточнения некоторых аспектов этого понятия и рассмотрены условия, при которых интуитивное доказательство может считаться убедительным.


Доп.точки доступа:
Черепанов, Е. М.
Нет сведений об экземплярах (Источник в БД не найден)

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

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