Cтраница 1
Значение предиката равно Т, если значение х - целое десятичное число, и NIL в противном случае. [1]
Значение предиката равно Т, если значение х - восьмеричное число, и NIL в противном случае. [2]
Значение предиката равно Т, если значение х меньше значения у, и NIL в противном случае. [3]
Значение предиката равно Т, если значение х больше значения у, и NIL в противном случае. [4]
Значение предиката равно Т, если значение х больше значения у или равно ему, и / V / L в противном случае. [5]
Значение предиката равно Т, если значение л: равно нулю. [6]
Значение предиката EQOF - истина ( Т) в том и только в том случае, когда пересечение значений его аргументов не пусто. [7]
Значением предиката будет Т, если лисповскии объект х есть объект типа СУДНО. [8]
В терминах значений предикатов схема специфицирует тот порядок, в котором следует производить вычисления. Мы будем интересоваться преимущественно двумя классами схем, а именно: стандартными схемами и рекурсивными схемами. [9]
Поскольку на конечном множестве значения предиката можно задать табличным способом, на основании эквивалентности (1.29) заключаем, что предикат тг принадлежит классу R. [10]
Пустая цепочка, являющаяся значением предиката, не влияет на перфорируемую цепочку. Если предикат завершается неудачей, присваивание не выполняется и карта не перфорируется. [11]
Значения рг / - определяются вероятностями значений предикатов, зависящими от распределения значений данных, отношения между которыми задаются предикатами. [12]
ПИП рус, пары противоположных по значению предикатов ППП рус. [13]
Действительно, если определить функцию СИГНАЛ как набор значений предикатов, определенных в унарной рекурсивной схеме, и использовать принятую для преобразователей операторную запись функциональной зависимости вида xf, где х - аргумент, а / - функциональный символ, то унарные рекурсивные схемы вкладываются в понятие схем рекурсивных по управлению преобразователей. [14]
Протоколом схемы Янова является последовательность выполняемых операций, перемежаемых значениями предикатов. Автомат, воспринимающий детерминант, оказывается конечным автоматом, а формальная эквивалентность разрешима, при этом она совпадает с функциональной. [15]