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

Базы данных


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

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

Вид документа : Статья из журнала
Шифр издания :
Автор(ы) : Бессонов А. В., Хлебалин А. В., Целищев В. В.
Заглавие : Можно ли доказать тезис Черча?
Серия: Проблемы логики и методологии науки
Место публикации : Философия науки. - 2008. - N 2. - С.44-61. - ISSN 1560-7488. - ISSN 1560-7488
Примечания : Библиогр.: с. 60-61 (17 назв. )
УДК : 510.6 + 16
ББК : 22.12 + 87.4
Предметные рубрики: Логика
Математика
Математическая логика
Общие вопросы логики
Ключевые слова (''Своб.индексиров.''): вычислимость (понятие)--тезис черча--черча тезис--вычислимые функции--рекурсивные функции--алгоритмы (понятие)--математическое доказательство
Аннотация: Целью данной статьи является обсуждение вопроса, возможно ли математическое доказательство тезиса Черча.
Найти похожие
 
Стандартный
Расширенный
Профессиональный
По словарю
Статистика обращений
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)