Cтраница 2
По лемме 5 все одноместные функции рассматриваемого класса W сохраняют некоторое нетривиальное разбиение. Тогда найдется блок, на котором / принимает неэквивалентные значения. [16]
В Р4 система всех одноместных функций полна по неявной сводимости. [17]
Имея теперь все изображения одноместных функций из К, с помощью функции ехр по формуле (2.23) получаем все одноместные функции из К. [18]
Построить СФЭ, реализующую три одноместные функции xi, Ж2, жз и содержащую ровно два элемента отрицания. [19]
Для временного закрытия файла применяется одноместная функция ФЗАКР. Ее аргумент - вектор номеров файлов, которые желательно закрыть. Выражение [ ] ФЗАКР [ ФНОМ [ р [ ] ФЯОЛ1 ] приведет к закрытию того файла, который был открыт последним в этом сеансе работы. [20]
Правило, что правый аргумент одноместной функции является значением всего выражения, находящегося справа от него, подразумеваемое в порядке исполнения такого выражения, как SIN LOG IN, обобщается на двуместные функции. [21]
Настоящая работа посвящена исследованию класса одноместных функций в Pk и его надклассов на полноту по неявной и параметрической выразимости и по неявной сводимости. [22]
Класс, состоящий из всех одноместных функций и всех существенных функций, выпускающих хотя бы одно значение, называют классом Слупец-кого. Из теоремы Слупецкого следует, что этот класс является единственным предполным классом, содержащим все одноместные функции. [23]
Следовательно, должны найтись две одноместных функции, различающиеся только в двойке. [24]
В заключение этой темы определим одноместную функцию, использующую алгоритм вычисления коеинуса. [25]
Поэтому согласно лемме 1 5-порождает все одноместные функции из 52, в частности, все функции j Д ж), где ji ( г) 1и ( /) 0 при. [26]
Обратите внимание, что для всех одноместных функций из этого списка характерно то, что символ функции предшествует аргументу. Большинство из этих символов используется также для обозначения двуместных функций, но их интерпретация не всегда аналогична. [27]
Проблема выполнимости в теории первого порядка единственной одноместной функции не элементарна. [28]
Напомним, что константы мы считаем одноместными функциями. Легко видеть, что множество R является ( 21, 21) - регулярным. [29]
Из заголовка функции следует, что это одноместная функция с явным результатом. [30]