Cтраница 3
Таким образом, цифра j в одном случае играет роль терма, а в другом - значения терма. [31]
Теперь надо заметить, что переменная г не входит в t по предположению корректности, и потому значение терма t не изменится, если заменить тг ( гу н - т) на тг. [32]
Параметры а, Ъ, с модифицируют конфигурацию функции принадлежности в зависимости от базового значения и градаций лингвистических значений терма. [33]
При этом для определенности сложного терма необходимо, чтобы были определены значения его соответствующих частей и, кроме того, значение сложного терма попадало в соответствующую область. [34]
Если информация, заключенная в в, достаточно подробна, то для терма Р при оценке в естественно определяется некоторое натуральное число - значение терма при данной оценке. [35]
Доказать, что если УЯ1 ( М о) есть подсистема системы УЯ, порожденная множеством А, то М есть множество всех значений термов сигнатуры а, когда переменные принимают значения в множестве А. [36]
А теперь, прежде чем перейти к операции устранения квантора существования, мы напомним, что, как было отмечено выше, проводимая нами подготовительная операция вычисления значений нумерических термов не меняет порядковых чисел формул вывода. [37]
Теория возмущений требует, чтобы мы нашли все функции ф из ( 9t), такие, что ортогональная проекция Яф на ( Щ была бы пропорциональна самой ф; тогда множители пропорциональности суть значения перемещенных термов в первом приближении. [38]
CS и его оценке в мы сопоставим натуральное число 6 [ PJ таким образом, что если информация в недостаточна для вычисления Р, то 6 [ PJ 0, если же достаточна, то 6 [ PJ равно значению терма Р плюс единица. Аналогично каждому функтору Р теории CS и его оценке в мы сопоставим конструктивную функцию 6 [ PJ, такую, что 6 [ PJ ( x) 0, если в недостаточна для вычисления Р ( ж), если же в достаточна, то 6 [ Р ( ж) равно значению Р ( х) плюс единица. [39]
В настоящее время эффективному моделированию на ЭВМ поддается лишь локальный принцип обработки информации, поэтому очередной этап в машинном поиске вывода был связан с появлением таких локальных методов, которые все-таки могут учитывать основную идею метода метапеременных: не большую уточненность значений термов, чем это необходимо в данный момент поиска. В методе резолюций эта идея осуществляется через понятие наиболее общего унификатора и приводит к тому, что окончательное основное значение используемых термов уточняется лишь после получения пустого дизъюнкта. [40]
Идея такого способа заключается в том, что сначала назначается замена для некоторого е-терма, а после этого каждый терм, фигурирующий в качестве составной части и не являющийся цифрой с самого начала, превращается в некоторую цифру предшествующими заменами и вычислениями значений постоянных термов. [41]
Для каждого терма определяется признак переместимости. Если значение терма, полученное при трансляции, остается неизменным при перемещении программы в памяти машины, то терм является абсолютным. [42]
Выражения вида их [ а ] используются для того, чтобы указать, что вводимая формула правильно построена, поскольку этот процесс не может быть автоматизирован. Область значений терма b в их [ а ] есть подмножество множества его значений в и. Нам нужно еще добавить аксиомы, позволяющие вывести, что - ( а Ь) в тех случаях, когда области значений а и b в равенстве различны. [43]
Общее число используемых в РЖХим термов около полу - - тора тысяч: с их помощью можно достаточно точно охарактеризовать содержание работ. Полный список значений термов имеется во вводной части соответствующих указателей. [44]
В автокоде ЕС ЭВМ имеется четыре типа самоопределенных величин, называемых термами, которые отличаются способом задания нужного постоянного значения: десятичный, шестнадцатеричный, двоичный и символьный термы. В качестве значения символьного терма принимается целое число, запись которого в двоичной системе счисления образуют последовательно записанные восьмиразрядные коды символов, заключенных в апострофы. [45]