Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Normann D. — Recursion on the Countable Functionals
Normann D. — Recursion on the Countable Functionals

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Recursion on the Countable Functionals

Автор: Normann D.

Язык: en

Рубрика: Математика/

Серия: Lecture Notes in Mathematics

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Издание: 1st edition

Год издания: 1980

Количество страниц: 204

Добавлена в каталог: 09.09.2008

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
$S^{n}_{m}$-theorem      12
$\mu$-recursive in      96
$\overrightarrow{t}$-operational index      143
Associate      32 37
Bounded      65
Closed under computation      23
Coded computations      135
Compact-open topology      71
Computable      13
Computation tree      11
Computation tuple      7
Cone      81
Continuous functional      37
Continuously bounded      65
Countable functional      37
Degree      81
Envelope      14
Equicontinuous      67
Fan-functional      102
Filter      74
Filter space      75
Initial computations      11
Irreducible      81
Kalmar Rank      84
Kleene computation      7
Length of computation      10
Level      3
Limit space      60
Maximal type-structure      3 23
Minimal degree      82
Modulus      86
Modulus functional      63
n'th approximation to $\{e\}(\psi)$      145
Non-obtainable      82
normal      19 21
Primitive recursive      12
Principal associate      33
Push up/down operators      5
Recursion theorem      12
RECURSIVE      13
Recursively countable, Recursive      42
Restricted associate      112
Sections      14
Semiassociate      176
Semicomputable      14
Semirecursive      14
Strongly continuous      169
Subcomputations      11
T-predicate      85
Trace      125
TREE      28
Type-structure      23
Type-symbol      2
Weakly continuous      169
Well-founded      28
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте