Примитивные программные алгебры Буй, Дмитрий Борисович

Короткий опис

Буй, Дмитрий Борисович.
Примитивные программные алгебры : диссертация ... кандидата физико-математических наук : 01.01.09. - Киев, 1985. - 150 с. : ил.
Оглавление диссертациикандидат физико-математических наук Буй, Дмитрий Борисович
ВВЕДЕНИЕ.
ГЛАВА I. ОСНОВНЫЕ ПОНЯТИЯ.
§ I. Примитивные программные алгебры /ППА/.
§ 2. Примеры ППА.
ГЛАВА П. ПОЛНОТА ППА В ОСНОВНЫХ КЛАССАХ ВЫЧИСЛИМЫХ ФУНКЦИЙ
§ 3. Полнота ППА в основных классах арифметических вычислимых функций
§ 4. Слабые и ограниченные ППА. Изоморфизм ППА.
§ 5. Полнота ППА в основных классах целочисленных вычислимых функций.
§ 6. Полнота ППА в основных классах рациональных вычислимых функций.
§ 7. Полнота ППА в основных классах словарных вычислимых функций.
ГЛАВА Ш. АЛГЕБРАИЧЕСКИЕ СВОЙСТВА АРИФМЕТИЧЕСКОЙ ППА
§ 8. Расширенные ППА YL -арных функций и предикатов,
§ 9. Взаимная нецроизводность основных операций арифметической ППА и смежные вопросы.
§10. Некоторые подалгебры арифметической ППА.