Cтраница 1
Арифметические функции имеют аргументы с описателями FLOAT или FIXED и DECIMAL или BINARY. В случае отсутствия этих описателей пре - - образование аргумента производится автоматически. Аргумент может быть скалярным выражением или массивом. Если аргументом является массив, результат выполнения функции есть также массив с описателями аргумента. Если не указаны описатели результата, они будут такими же, как и у аргумента. [1]
Арифметические функции, которые могут быть построены из элементарных арифметических функций с помощью операций суперпозиции, примитивной рекурсии и наименьшего корня, называются частично рекурсивными функциями. Если такие функции оказываются к тому же всюду определенными, то они называются общерекурсивными функциями. [2]
Арифметические функции дополняют набор основных арифметических операций ПЛ / 1 или дают возможность получить для существующих операций результат с указанной точностью. [3]
Арифметические функции, которые могут быть построены из элементарных арифметических функций с помощью операций суперпозиции, примитивной рекурсии и минимизации, называются частично рекурсивными функциями. [4]
Арифметические функции ( целочисленные и целозначные), которые могут быть построены из элементарных арифметических функций ( тождественно равной нулю, тождественной функции / ( х) xi и функции непосредственного следования / ( х) х - - 1) с помощью операции суперпозиции, примитивной рекурсии и наименьшего корня, носят название частично-рекурсивных функций. [5]
Арифметические функции, получаемые из алгорифмическн определенных функций а результате комбинирования определений этих типов, представляют собой алгоритмически определенные функции. [6]
Арифметические функции, которые могут быть построены из элементарных арифметических функций с помощью операций суперпозиции, примитивной рекурсии и наименьшего корня, называются частично рекурсивными функциями. Если такие функции оказываются к тому же всюду определенными, то они называются общерекурсивными функциями. [7]
Арифметические функции ( табл. 1.6) позволяют выполнять различные вычисления. [8]
Вспомогательные арифметические функции могут использоваться для выполнения определенных арифметических операций. [9]
Единственные арифметические функции, которые допускают такое непосредственное выражение, - это полиномы. Мы, однако, покажем, что многие предложения, в которых встречаются другие арифметические функции, можно перефразировать таким образом, что эти предложения становятся выразимыми в формальном символизме, несмотря на отсутствие термов, выражающих эти функции. [10]
Арифметическую функцию, которую можно получить из базисных функций, используя только операции суперпозиции, примитивной рекурсии и минимизации, называют частично рекурсивной функцией. [11]
Арифметическую функцию, которую можно получить из базисных функций, используя только операции суперпозиции и примитивной рекурсии, называют примитивно рекурсивной функцией. [12]
Какие арифметические функции могут быть определены по индукции. Для точной постановки этого вопроса мы должны условиться, какие функции считаются известными первоначально и какие операции, в том числе какие виды определения по индукции, допустимы при определении дальнейших функций. [13]
Реализация арифметических функций довольно проста. Значениями их аргументов должны быть числовые атомы типа, соответствующего виду функции. Из списков свойств этих атомов извлекаются их числовые значения, над которыми и выполняется соответствующая операция. К полученному результату применяется функция intern ( см. разд. [14]
Большинство арифметических функций относятся к примитивно рекурсивным. [15]