Cтраница 1
Составные выражения объединяются в древовидной структуре, при этом используется очевидное соответствие между символическими выражениями и представлением конечных деревьев. [1]
Составное выражение представляет собой формулу, составленную из термов ( кроме литералов) и знаков арифметических операций: il - плюс и I - II - минус. [2]
После рассмотрения понятия составного выражения будут определены другие способы задания полей А, Б и В буквальной константы-слова. [3]
Подчеркнем, что признаком конца первичного или составного выражения является появление запятой, открывающей ( см. Модификацию адресов) или закрывающей круглых скобок, или пробела. [4]
Аргументы могут быть отдельными константами, или составным выражением функция-аргумент, которое обозначает сущности некоторого мира интересующих нас объектов, или отдельными квантифицируемыми переменными, которые определены в этом пространстве объектов. Специальные операторы - кванторы - используются для связывания переменных и ограничения области их интерпретации. [5]
В соответствии с определением признака переместимости первичных выражений определяется признак переместимости составных выражений. [6]
Предложения 11, 12 и 13 на рис. 9.4 демонстрируют возможность применения составных выражений; при этом предложения 12 и 13 с точки зрения исполнения команд эквивалентны. [7]
С помощью этой команды идентификатору, записанному в поле метки, сопоставляется первичное или составное выражение, записанное в поле операндов. В зависимости от того, является ли это выражение переместимым или абсолютным, идентификатор получает ту же характеристику. [8]
Отметим, что согласно приведенному определению два знака арифметических операций или два первичных выражения не могут в составном выражении быть записаны рядом. [9]
Для сокращения записей в программе программист с помощью команды ЭКВ может также сопоставить некоторую метку с часто встречающимся составным выражением и затем использовать ее в качестве операнда вместо этого выражения. [10]
Сначала нужно настолько твердо, насколько это возможно, фиксировать смысл логических связок; я делаю это, давая необходимые и достаточные условия, при которых составное выражение может быть утверждаемо. [11]
Относительно процедур вычисления арифметических функций одного аргумента можно считать, что каждая такая процедура может быть изображена в виде процедуры вывода в подходящем дедуктивном формализме, содержащем цифры, знак равенства и одноместный функциональный знак f ( т) или же какое-нибудь составное выражение f ( т) с одной аргументной переменной, представляющее вычисляемую функцию. [12]
Таким образом, в программу нужно включить правило выполнения отрицания составных высказываний и правило, которое понимало бы, что дизъюнкты вроде Т А) в действительности являются предположениями. Составное выражение Т ( А) v T ( B) будем обрабатывать, предположив Т ( А), и проанализируем, нет ли в нем противоречия. В противном случае Т ( В) образует часть совместимой интерпретации исходного высказывания. [13]
Выражения могут быть простыми и составными. Составное выражение включает в себя несколько простых. [14]
В автокоде каждый операнд машинной команды или команды транслятора записывается как выражение, которое при трансляции получает некоторое значение. Различают простое и составное выражения. [15]