Cтраница 3
Сформулируем теперь экстраполяционную задачу для арифметических функций у F ( и), которая затем будет истолкована как задача обучения распознаванию закономерностей в последовательностях. [31]
Суперкальк включает в себя 10 арифметических функций. Каждая из них зависит от одного или двух аргументов. В качестве аргументов могут использоваться числа, адреса клеток, имена клеток, формулы, функции или любые смежные выражения. [32]
При любом t 1 рассмотрение арифметических функций г аргументов может быть сведено к рассмотрению функций одного аргумента. Это делается при помощи введенной в гл. [33]
Мы защищали тезис Тьюринга для арифметических функций; ио машина Тьюринга приложима столь же хорошо и к выражениям в любом языке), имеющем конечный перечень символов. Используя их, как только что показано для случая преобразования одного обозначения натурального числа в друт гое, мы получаем непосредственный способ характеризации эффективных. [34]
Рекурсивные ( рекуррентные) определения конкретных арифметических функций используются в математике очень давно; примерами могут служить определения арифметической и геометрической прогрессий. [35]
![]() |
Условное графическое обозначение КР581ИК1. [36] |
Микросхема КР581ИК1 предназначена для выполнения логических и арифметических функций над системными данными. [37]
Полученный нами результат о представимости регулярно вычислимых арифметических функций одного аргумента при помощи термов а ( рхЬ ( п, х)) формализма ( Z) может вызвать подозрение, что понятие регулярно вычислимой функции было определено нами слишком узко. [38]
Каждая частично рекурсивная функция получается из простейших арифметических функций с помощью операций суперпозиции, примитивной рекурсии и минимизации. [39]
Аналогично можно построить показательную, степенную и другие известные арифметические функции. [40]
В самом деле, пусть нам дана регулярно вычислимая арифметическая функция одного аргумента. [41]
Итак, мы видим, что любая регулярно вычислимая арифметическая функция одного аргумента является квазирекурсивной. [42]
Допустим, что экстраполирование проводится в классе арифметических функций, определяемых буквенными алгоритмами. [43]
Операция суперпозиции функций заключается в подстановке одних арифметических функций вместо аргументов других арифметических функций. [44]
V) не являются единственными схемами определения арифметических функций, - ab initio1) или через другие арифметические функции-которые могут быть выражены при помощи систем равенств, содержащих только функциональные буквы, , числовые переменные и цифры. [45]