Cтраница 2
Все переменные, о которых шла речь, назовем внутренними переменными данного определяющего выражения ( 1) и рабочей подпрограммы, получающейся при его компиляции. [16]
Легко видеть, что программа будет содержать три одинаковых участка, определяющих выражения в скобках. [17]
Первый аргумент подпрограммы apply может быть либо наименованием функции, либо определяющим выражением, либо функциональным аргументом, обработанным специальной функцией FUNCTION ( см. разд. Дальнейшее вычисление осуществляется соответственно подпрограммой evfun, evlam или evfarg. Работа подпрограммы evfarg будет разобрана в разд. [18]
ЛИСП-функций; для этого фактически задается имя файла, где хранится список определяющих выражений функций. [19]
Впрочем, мы забежали вперед, тзк как еще не знаем, что такое определяющее выражение функции. [20]
Если нарушены правила обращения к SEXPR ( первый аргумент - не атом или второй - не определяющее выражение), то оператор errorS сообщает о невозможности выполнить это обращение. [21]
Традиционные инженерные расчеты на прочность деталей машин и элементов конструкций при однократном нагружении в соответствии с определяющим выражением (0.1) основаны, с одной стороны, на нормальных напряжениях, определяемых по формулам сопротивления материалов, теории упругости и пластичности, теории пластин и оболочек и, с другой - на характеристиках прочности материалов при однократном нагружении, определяемых при стандартизированных или унифицированных испытаниях лабораторных образцов из применяемых конструкционных материалов. В зависимости от большого числа конструктивных ( вид нагружения, размеры и форма сечений, наличие концентрации напряжений), технологических ( механические свойства применяемых материалов, вид и режим сварки, термообработки, упрочнения) и эксплуатационных ( скорость нагружения, уровень нагрузок, температура, среда) факторов при однократном нагружении с учетом выражений (0.1), (0.3), (0.5) возможно возникновение трех основных видов разрушения - хрупкого, квазихрупкого и вязкого. Применительно к этим видам разрушения выбирают те или иные критерии разрушения из трех основных групп - силовых (0.1), (0.3), деформационных (0.4) - (0.8) и энергетических, сводящихся в простых случаях к силовым и деформационным. [22]
Встроенные функции, которые будут описаны в ближайших разделах, служат для того, чтобы сделать аппарат определяющих выражений более гибким и эффективным. [23]
Наименование функции - это по сути дела разновидность константы, отличающаяся тем, что ее значением является так называемое определяющее выражение некоторой функции ( см. разд. Значение функции вычисляется заново при каждом обращении к функции. Оно зависит в общем случае от аргументов, указанных в обращении, и от состояния программы. Это значение вычисляется по определенным ( для данной функции) правилам, которые либо предписаны языком, либо задаются определяющим выражением этой функции, написанным программистом. Более подробно содержание всех этих понятий раскрывается ниже. [24]
Расчет сегодняшней стоимости на основе этого первого уравнения цены имеет тот недостаток, что определяемая переменная Ро находится в определяющем выражении. [25]
Расчет сегодняшней стоимости на основе этого первого уравнения цены имеет тот недостаток, что определяемая переменная РО находится в определяющем выражении. [26]
Взаимная рекурсия может уЗыть представлена последовательным выражением определенных функций в нерекурсивной форме ( с помощью У) и подстановкой в определяющие выражения всех других функций из набора. Таким образом, в правых частях уравнений может появиться несколько вхождений У. [27]
Во многих случаях полезны функции, содержащие параметр ( связанную переменную), которому при обращении ставится в соответствие некоторое определяющее выражение и который при вычислении этой функции используется как наименование функции. Такие функции называются функционалами, а параметр с указанным свойством - функциональной переменной. Разница между обычной и функциональной связанной переменной аналогична разнице между константой и наименованием функции. Среди связанных переменных функционала может быть несколько функциональных переменных. Аргументы обращения, соответствующие функциональным переменным, называются функциональными аргументами. Функциональными аргументами могут быть не только определяющие выражения, но и наименования функций, а если функциональный аргумент задается внутри ( в теле) функционала, - то и функциональные переменные этого внешнего функционала. [28]
Правда, сказанное еще не дает нам явного определения, так как определяемое понятие номера формулы исчисления высказываний входит в определяющее выражение. Но при этом мы все-таки получаем некоторое рекурсивное определение. [29]
Если требуется вычислить значение выражения, имеющего вид списка, то первым элементом этого выражения должно быть наименование функции или определяющее выражение функции. Во всех остальных случаях список заведомо не имеет значения. [30]