|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Конечные базисы по суперпозиции в классах элементарных рекурсивных функцийдиссертация
- Научный руководитель: Марченков С.С.
- Автор: Волков Сергей Александрович
- Год защиты: 2009
- Шифр диссертационного совета: Д 501.001.44
- Организация: МГУ имени М.В. Ломоносова
- Область знаний: Физика и математика
- Специальность: 01.01.09 - Дискретная математика и математическая кибернетика
- Тип диссертации: Кандидатская
-
Аннотация:
В логических языках первого порядка описаны некоторые классы элементарных функций, представимые формулами заданной "высоты". Доказана конечная порождаемость этих классов функций относительно операции "ограниченной" суперпозиции. В классе E^2 Гжегорчика впервые построен конечный базис по суперпозиции, не использующий нумерацию машин Тьюринга. Впервые доказана конечная порождаемость большого семейства групп перестановок, связанных с классами элементарных рекурсивных функций.
- Добавил в систему: Марченков Сергей Серафимович