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

Базы данных


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

Вид поиска

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


    Бессонов, А. В.
    Можно ли доказать тезис Черча? [Текст] / А. В. Бессонов, А. В. Хлебалин, В. В. Целищев // Философия науки. - 2008. - N 2. - С. 44-61. - Библиогр.: с. 60-61 (17 назв. ) . - ISSN 1560-7488
УДК
ББК 22.12 + 87.4
Рубрики: Логика
   Математика

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

   Общие вопросы логики

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


Доп.точки доступа:
Хлебалин, А. В.; Целищев, В. В.; Черч, Алонзо (американский логик и математик) \а.\

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

2.


    Бессонов, А. В.
    Семантика вероятностных прогнозов [Текст] / А. В. Бессонов, К. Ф. Самохвалов // Философия науки. - 2010. - N 4. - С. 68-74 . - ISSN 1560-7488
УДК
ББК 87.21
Рубрики: Философия
   Метафизика. Онтология

Кл.слова (ненормированные):
верификация -- фальсификация -- безответственные прогнозы -- типы прогнозов -- ответственные прогнозы -- вероятностные прогнозы
Аннотация: В статье дается критический анализ понятия "вероятностный прогноз".


Доп.точки доступа:
Самохвалов, К. Ф.

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

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