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

Базы данных


БД "Статьи" - результаты поиска

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


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


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

Имеются экземпляры в отделах: всего 1 : ч.з. (1)
Свободны: ч.з. (1)

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


    Алаев, П. Е.
    Автоустойчивость атомно-идеальных обогощений вычислимых булевых алгебр [Текст] / П. Е. Алаев // Доклады Академии наук. - 2010. - Т. 433, N 2. - С. 151-153. - Библиогр.: с. 153 . - ISSN 0869-5652
УДК
^a512
ББК 22.14
Рубрики: Математика
   Алгебра
Кл.слова (ненормированные):
теория алгоритмов -- вычислимые функции -- математическая логика -- общая алгебра
Аннотация: Изучаются вычислимые булевы алгебры - объект, тесно связанный со многими вопросами в логике, теории алгоритмов и других областях математики.

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

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