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

Базы данных


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

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

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

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