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