Функция - следование
Cтраница 1
Функция следования NQ входит во временную компоненту ( 23) уравнений для начальных значений и в интеграл действия лишь алгебраическим образом. [1]
S - функция следования, а символы, и 0 имеют свое обычное значение. Все иные ( не изоморфные стандартной) модели называются нестандартными. Полной теорией чисел называют множество всех предложений ф языка X, истинных в стандартной модели. [2]
Очевидно, что функция следования вычисляется на машине Тьюрин-га, использующей ровно на одну ячейку больше, чем необходимо для записи входа. Далее, сочленение J) тоже принадлежит F а сложение определяется из функции следования посредством рекурсии, ограниченной сочленением. [3]
Таким образом, функция следования NQ дает расстояние между двумя гиперповерхностями, измеренное по нормали к ним ( интервал собственного времени) и отнесенное к единице, разности временных координат. Векторная же функция сдвига указывает величину разности координат у основания и у вершины нормали, связывающей эти гиперповерхности, причем эта величина опять-таки отнесена к единице разности временных координат, соответствующих взятым гиперповерхностям. [4]
Другим принятым обозначением функции следования служит штрих, который ставится справа сверху от аргумента. [5]
Слабая сингулярная теория второго порядка функции следования не элементарно рекурсивна. [6]
Схема ( I) дает функцию следования за ( successor function) в качестве одной из первоначальных функций. [7]
Мы уже имели дело с функцией следования s, зависящей от одной переменной и приписывающей всякому натуральному числу следующее за ним натуральное число в качестве значения. Таким образом, s ( 0) 1, s ( l) 2, s ( 2) 3, - - - - Записанные в системе s - обозначений, эти равенства становятся тавтологичными ( s ( 0) s ( 0) и т.п.), поскольку свойства функции s включены в обозначения. [8]
Функция, соответствующая символу, - функция следования. [9]
Разрешимая) теория первого порядка двух функций следования с предикатами длины а префикса также не элементарно рекурсивна. [10]
Исходный запас функций содержит нуль-функцию, функцию следования и различные проектирующие функции. [11]
Без умаления общности можно считать, что до есть s, функция следования. [12]
Функциональные знаки включают в себя знак S ( x) для функции следования ( так что S ( x) играет роль х I в элементарной алгебре) и знаки для функций, вводимых с помощью рекурсии. [13]
 |
Вычисление функции а. [14] |
Рассмотрим изображенный на рис. 8 - 1 граф машины, вычисляющей функцию следования. [15]
Страницы: 1 2 3