Cтраница 4
Я согласен с этим, и все же, если мы просмотрим доказательства теорем арифметики действительных чисел в разделах 2.2.4 и 2.2.5, то мы увидим, что они зависят только от возможности неограниченного продолжения последовательностей; мы нигде не используем того факта, что их продолжение производилось по известному правилу; значит, можно рассматривать их продолжение, не требуя существования такого правила. Идея закона, управляющего образованием последовательности, здесь необязательна и может быть устранена процессом абстрагирования. [46]
Сополимеры имеют более низкую точку размягчения и меньшую вязкость расплава, чем гомополимеры того же молекулярного веса. Они также более подвержены химическому действию кетонов. Эти свойства зависят от содержания винилацетата и связаны с пластифицирующим влиянием винилацетата на полимерную макромолекулу. Гомополимер хлористого винила относится к псевдокристаллическим полимерам вследствие тенденции к образованию стереорегу-лярных последовательностей достаточной длины. Плотная упаковка цепей, которая становится возможной благодаря такой регулярности строения, приводит к повышению точки плавления и уменьшению-растворимости. В результате сополимеризации с винилацетатом к полимерным цепям прививаются боковые ответвления, предотвращающие плотную упаковку и уменьшающие силы меж - и внутримолекулярного взаимодействия. Таким образом, сомономер действует как внутренний пластификатор, и сополимер можно перерабатывать при более низких температурах. [47]
Интуиционистский анализ отличается от интуиционистской арифметики, прежде всего, наличием новых объектов исследования. Кроме натуральных чисел, в анализе появляются так называемые последовательности выбора ( в другой терминологии - свободно становящиеся последовательности) - объекты исследования, не имеющие непосредственных аналогов в конструктивной или классической математике. При этом предполагается, что коль скоро определен входной объект свободно становящейся последовательности, то может быть эффективно найден и результат переработки. С другой стороны, исследователю, может быть, и неизвестен полностью закон образования свободно становящейся последовательности. Эта неизвестность отражена в специальных аксиомах теорий и в значительной степени определяет специфически интуиционистский характер рассмотрений. [48]
Рассмотрим способы выполнения перестановок элементов массива в соответствии с двоично-инверсным порядком следования. Поместим в регистр R. После m - кратного повторения таких сдвигов в R2 образуется двоично-инверсный номер. На рис. 8.12, б показана схема алгоритма выполнения перестановок для получения двоично-инверсного порядка следования элементов массива. Другой более быстрый алгоритм таких перестановок представлен на рис. 8.13. Предлагаем самостоятельно, задавшись значением N числа элементов в массиве, проследить выполняемые в последнем алгоритме операции и убедиться в том, что они действительно приводят к образованию двоично-инверсной последовательности элементов. [49]
Обнаружение служебных знаков и их сочетаний ( всего 10 различных признаков) выполняется в мультиплексоре программным путем. При приеме первого знака в соответствующий разряд секции управления линейного слова записывается контрольный бит. Если следующий знак является информационным, контрольный бит стирается. Если же следующий знак образует вместе с первым служебный признак, в линейное слово записывается еще один бит, а в процессор посылается сигнал прерывания. Получив два служебных знака подряд, процессор может теперь приступить к их обработке. Образование последовательностей более чем двух служебных знаков ( например, ZCZC, NN-NN) выполняется в ЭВМ программным путем. [50]