Библиотека Амурского Государственного Университета

Главная

Упрощенный режим

Описание

Шлюз Z39.50

Базы данных

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

Вид поиска

БД "Книги"

БД "Статьи"

Труды АМГУ

Выпускные квалификационные работы

Антитеррор

Область поиска

Найдено в других БД:

БД "Книги" (4)

Формат представления найденных документов:
полный	информационный	краткий

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=рекурсивные функции<.>)

Общее количество найденных документов : 3
Показаны документы с 1 по 3

Волков, С. А.
Порождение некоторых классов рекурсивных функций суперпозициями простых арифметических функций [Текст] / С. А. Волков // Доклады Академии наук. - 2007. - Т. 415, N 4. - С. 439-440. - Библиогр.: 440 (8 назв. )

УДК

^a519.7

ББК 22.18
Рубрики: Математика--Математическая кибернетика
Кл.слова (ненормированные):
арифметические функции -- рекурсивные функции -- суперпозиции -- предикаты -- порождение функций -- функции
Аннотация: Рассматривается порождение некоторых классов рекурсивных функций суперпозициями простых арифметических функций.

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

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

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

УДК

^a510.6

^a16

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

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

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

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

Мальцев, И. А.
Анатолий Иванович Мальцев [Текст] : (к столетию со дня рождения) / И. А. Мальцев // Успехи математических наук. - 2010. - Т. 65, вып. 5 (395). - С. 197-203.

УДК

^a510.6

^a512

ББК 22.12 + 22.14
Рубрики: Математика
Математическая логика
Алгебра
Кл.слова (ненормированные):
математики -- юбилеи -- ученые -- теория моделей -- рекурсивные функции
Аннотация: Анатолий Иванович Мальцев участвовал в организации Сибирского отделения Академии наук, был избран действительным членом Академии наук СССР. В 1960 г. он возглавил созданные им отдел алгебры в Институте математики СО АН СССР и кафедру алгебры и математической логики Новосибирского государственного университета. За цикл работ по приложению математической логики к алгебре и теории моделей, опубликованных в 1954-1963 гг., в 1964 г. А. И. Мальцев получил Ленинскую премию.

Доп.точки доступа:
Мальцев, А. И. (математик ; 1909-1967)
Нет сведений об экземплярах (Источник в БД не найден)

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

Тематический навигатор

Статистика за 27.08.2024
Число запросов	32844
Число посетителей	1
Число заказов	0

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