Электронные ресурсы

Базы данных


Статьи из журналов: 2001-2014 - результаты поиска

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Николенко, Сергей
Заглавие : Истина в математике: от Египта к... Египту?
Место публикации : Знание-сила. - 2008. - N 6. - С.63-69. - ISSN 0130-1640. - ISSN 0130-1640
УДК : 51(091) + 510.6
ББК : 22.1г + 22.12
Предметные рубрики: Математика
История математики
Математическая логика
Ключевые слова (''Своб.индексиров.''): истина в математике--математическая истина--доказательства (математика)
Аннотация: О математической истине.
Найти похожие
2.

Вид документа : Статья из журнала
Шифр издания : 1/Л 190
Автор(ы) : Лакатос И.
Заглавие : Процедуры доказательства в современном математическом анализе
Серия: Философия и наука
Место публикации : Вопросы философии. - 2009. - N 8. - С.97-100. - ISSN 0042-8744. - ISSN 0042-8744
Примечания : Библиогр. в сносках
УДК : 1
ББК : 87.25
Предметные рубрики: Философия
Философия науки
Ключевые слова (''Своб.индексиров.''): философия математики--гипотезы (математика)--доказательства (математика)--математический анализ--математическое знание
Аннотация: Публикация главы диссертации венгерского ученого И. Лакатоса, которая переводится на русский язык впервые и посвящена философским проблемам математического знания.
Найти похожие
3.

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