Cтраница 4
Для образования более сложных критериев используются логические операции Д ( и), / ( или), - - ( не), вовлекающие в рассмотрение значения нескольких элементов данных. Для строковых значений могут быть предложены критерии левого или правого вхождения образца в строку, для поиска по авторам издания - совпадение только фамилий, фамилий и инициалов или полное совпадение имен. Как видим, круг возможных критериев необъятен. Из этого следует, что в инструментальном языке должны быть средства построения нужных критериев на основе некоторого набора элементарных стандартных критериев. Каждый построенный критерий может оформляться в виде логической функции, помещаемой в базу данных и вызываемой при необходимости. [46]
Весьма существенным для теории Гудстейна является Тот факт, что в определении вводимого им аналога понятия равномерно непрерывной функции примитивно рекурсивные вещественные числа не фигурируют в качестве подлежащих рассмотрению значений аргумента. Это не означает, что при построении теории введенных им функций необходимо избегать рассмотрения значений этих функций в примитивно рекурсивных точках - как уже было упомянуто, любое такое значение может быть построено в виде примитивно рекурсивного вещественного числа. Однако Гудстейн почему-то стремится избегать рассмотрения значений функций в примитивно рекурсивных ( даже в рациональных) точках. Эта тенденция лишает его возможности приблизить к формулировкам классического математического анализа, упростить, а в некоторых случаях и уточнить формулировки некоторых теорем, не выходя при этом за рамки допускаемого его подходом уровня логической сложности утверждений. Примером может служить теорема 2.4 из РА. [47]
Если, например, п 1, то стохастическая зависимость у от х отличается от Однозначной функциальной зависимости у f ( х) тем, что на вертикали, проведенной через каждую точку оси х, лежит не одна точка, удовлетворяющая этой зависимости, s множество точек, и общая их совокупность при рассмотрении всевозможных значений х дает не кривую на плоскости ( х, у), а некоторое облако как-то рассеянных точек. [48]
Один и тот же знак ( или последовательность знаков) может использоваться для обозначения некоторых значений разных типов ( точно так же, например, Джек может быть именем человека и кличкой собаки), но из этого не следует, что они обозначают одно и то же значение. Рассмотрение значений как результатов деятельности тех или иных последовательностей конструкторов позволяет утверждать, что каждое значение принадлежит только некоторому определенному типу, операциями которого оно произведено. Конструктивная формулировка типов данных в таком случае выглядит следующим образом: тип данных определяет множество значений посредством множества операций. Противоположная точка зрения, проводимая, например, в [186], приводит, на наш взгляд, к менее четкой концепции соотношений типов и значений. [49]
Из рассмотрения значений Av следует, что в циклах, содержащих менее 10 углеродных атомов, uc - гидроксильные группы более сближены, чем транс, однако в циклах, содержащих 10 и более углеродных атомов, более сближены транс ОН-группы. [50]
Для упрощения расчета можно допустить, что на кривошипных шейках все концентраторы находятся в их средних сечениях. Из рассмотрения значений коэффициентов концентрации получается, что наибольшая концентрация напряжений в сечении / / - / / создается галтелью, а не смазочным отверстием. Галтель дает наибольшую концентрацию напряжений в точке на поверхности сечения, расположенной в плоскости колен. [51]
Геометрические параметры режущей части резца при правильном выборе могут уменьшить вибрации или даже совершенно их устранить. При рассмотрении значения каждого геометрического параметра были затронуты вопросы, связанные с вибрациями при обработке металлов резанием. [52]
Итак, величина Q: С3 может быть характеристикой роли металлических и кислотных центров. При рассмотрении значений Ci: C3 установлено, что в процессе отложения кокса активность металлических центров снижается быстрее, чем кислотных. При длительном опыте отношение d: С3 возрастает, кислотные центры дезактивируются быстрее, чем металлические, а скорость закок-совывания снижается. Вероятно, достигается равновесное содержание кокса на металлических центрах в связи с гидрирующей активностью платины, так как при снижении парциального давления водорода увеличивается отложение кокса на металле. [53]
Общие замечания относительно величин растворимости а величин коэфициентов активности. Большой интерес представляет рассмотрение значений коэфициентов активности, найденных для частично смешивающихся бинарных систем; рис. 1 позволяет быстро составлять таблицы для этой цели. [54]
Брауэровская критика классической логики в применении к бесконечному множеству D ( например, натуральному ряду чисел) возникает вследствие этой точки зрения на бесконечность. Это ясно видно из рассмотрения значений, которые интуиционисты связывают с различными видами высказываний. [55]