
Структура рекурсивных m-степеней в полях
| Категория реферата: Рефераты по математике
| Теги реферата: реферат язык, отчет по практике
| Добавил(а) на сайт: Трутнев.
Предыдущая страница реферата | 1 2 3
Доказательство.
Пункты 1) - 3) следуют из теоремы 6 и свойств алгебраических расширений полей.
Для доказательства 4) рассмотрим рекурсивные множества . Можно
считать, что
и
, причем X и Y
не содержат элементов из
. Тогда
, где
,
, но
.
Список литературы
Ашаев И.В., Беляев В.Я., Мясников А.Г. Подходы к теории обобщенной вычислимости // Алгебра и логика. 32. N 4 (1993). С. 349-386.
Кфури А. Дж., Столбоушкин А.П., Ужичин П. Некоторые открытые вопросы в теории схем программ и динамических логик // УМН. 1989. Т.44. Вып.1 (265). С. 35-55.
Гончаров
С.С., Свириденко Д.И. -программирование//
Логико-математические проблемы МОЗ (Вычислительные системы. Вып. 107).
Новосибирск, 1985. С. 3-29.
Роджерс Х. Теория рекурсивных функций и эффективная вычислимость. М: Мир, 1972.
Blum L., Shub M., Smale S. On a theory of computation and complexity over the real numbers: NP-completeness, recursive functions and universal machines //Bull. Amer. Math. Soc. 1989. V.21. N1. P.1-46.
Friedman H. Algorithmic procedures, generalized Turing algorithms, and elementary recursion theory //Logic Colloquium'69 (R.O. Gandy and C.E.M. Yates, eds). North Holland, 1971. Р. 361-390.
Скачали данный реферат: Деревсков, Якусик, Krylaev, Сеченов, Jekzempljarskij, Wegoljaev.
Последние просмотренные рефераты на тему: скачать реферат человек, банк курсовых, контрольная, менеджмент.
Категории:
Предыдущая страница реферата | 1 2 3