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

Базы данных


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

Вид поиска
Электронный каталог
Статьи из журналов: 2001-2014
Труды ОмГУ
История ОмГУ
Сводный каталог периодических изданий вузовских библиотек г.Омска
Область поиска
в найденном
 Найдено в других БД:Электронный каталог (2)
Формат представления найденных документов:
полныйинформационныйкраткий
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>A=Черепанов, Е. М.$<.>)
Общее количество найденных документов : 3
Показаны документы с 1 по 3
1.
167/168
Ч-46

    Черепанов, Е. М.
    Содержательность, информативность и простота [Текст] / Е. М. Черепанов // Философия науки. - 2006. - N 2. - С. 52-64. - Библиогр.: с. 64 (3 назв. ) . - ISSN 1560-7488
УДК
167/168
ББК 87.252
Рубрики: Философия--Философские вопросы и методология отдельных наук
Кл.слова (ненормированные):
информативность утверждения; содержательность утверждения; утверждения (философия)
Аннотация: Попытка уточнения понятия информативности утверждения теории и изучение факторов, влияющих на степень информативности утверждения.


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


    Черепанов, Е. М.
    Простота как отношение на классах объектов [Текст] / Е. М. Черепанов, // Философия науки. - 2009. - N 1. - С. 86-103. - Библиогр.: с. 103 (19 назв. ) . - ISSN 1560-7488
УДК
^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
Аннотация: В работе предложены методы измерения структурной и прагматической сложности доказательств в исчислении первого порядка.


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