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

Базы данных


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

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


    Лакатос, И.
    Процедуры доказательства в современном математическом анализе [Текст] / И. Лакатос ; пер. с англ. В. А. Бажанова // Вопросы философии. - 2009. - N 8. - С. 97-100. - Библиогр. в сносках . - ISSN 0042-8744. - ISSN 1995-0055
УДК
^a1
ББК 87.25
Рубрики: Философия
   Философия науки
Кл.слова (ненормированные):
философия математики -- гипотезы (математика) -- доказательства (математика) -- математический анализ -- математическое знание
Аннотация: Публикация главы диссертации венгерского ученого И. Лакатоса, которая переводится на русский язык впервые и посвящена философским проблемам математического знания.


Доп.точки доступа:
Бажанов, В. А. \.\; Нейман, Дж. фон
Нет сведений об экземплярах (Источник в БД не найден)

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


    Лакатос, И.
    Процедуры доказательства в современном математическом анализе [Текст] / И. Лакатос ; пер. с англ. В. А. Бажанова // Вопросы философии. - 2009. - N 8. - С. 97-100. - Библиогр. в сносках . - ISSN 0042-8744
УДК
^a1
ББК 87.25
Рубрики: Философия
   Философия науки
Кл.слова (ненормированные):
философия математики -- гипотезы (математика) -- доказательства (математика) -- математический анализ -- математическое знание
Аннотация: Публикация главы диссертации венгерского ученого И. Лакатоса, которая переводится на русский язык впервые и посвящена философским проблемам математического знания.


Доп.точки доступа:
Бажанов, В. А. \.\; Нейман, Дж. фон
Нет сведений об экземплярах (Нет сведений об источнике)

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


    Черепанов, Е. М.
    Простота как критерий убедительности доказательства [Текст] / Е. М. Черепанов // Философия науки. - 2010. - N 1. - С. 91-101. - Библиогр.: с. 101 (10 назв. ) . - ISSN 1560-7488
УДК
^a16
^a510.6
ББК 87.42 + 22.12
Рубрики: Логика
   Логические формы и законы
   Математика
   Математическая логика
Кл.слова (ненормированные):
доказательства (математика) -- поиски простейшего доказательства -- убедительность доказательства -- simplicity -- complexity -- proving -- algorithm
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.

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

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


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


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

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