Поскольку эти операции имеют дело с бесконечными объектами ( функциями или множествами), они как будто ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Катленд Н.N. Вычислимость Введение в теорию рекурсивных функций


Поскольку эти операции имеют дело с бесконечными объектами ( функциями или множествами), они как будто лежат в стороне даже от нашего неформального понятия вычислимости, которое, очевидно, применяется к конечным объектам. Тем не менее, каю мы убедимся, индекс функции ФхФу эффективно находится по-индексам х и у. В следующих примерах и упражнениях мы увидим, что многие другие операции являются эффективными, если их рассматривать как операции над индексами затраги - ваемых объектов.

(cкачать страницу)

Смотреть книгу на libgen

Поскольку эти операции имеют дело с бесконечными объектами ( функциями или множествами),  они как будто лежат в стороне даже от нашего неформального понятия вычислимости,  которое,  очевидно,  применяется к конечным объектам.  Тем не менее,  каю мы убедимся,  индекс функции ФхФу эффективно находится по-индексам х и у.  В следующих примерах и упражнениях мы увидим,  что многие другие операции являются эффективными,  если их рассматривать как операции над индексами затраги - ваемых объектов.