Формальный аналог

Cтраница 2

Поскольку были найдены удобные методы синтеза соединений типа ( RO) n ( R3SiO) 3 nP ( п О, 1, 2) - формальных аналогов весьма реакционно-способных триалкилфосфитов - представляло интерес изучить влияние строения этих соединений на их реакционную способность и направление взаимодействия с различными реагентами. [16]

Его формальным аналогом служит понятие интеррогатива. Интеррогатив призван имитировать, или представлять ( put), вопрос. Элементарный вопрос состоит из двух частей: субъекта и предпосылки. [17]

Его формальным аналогом служит понятие интеррогатива. Элементарный вопрос состоит из двух частей: субъекта и предпосылки. [18]

Физические свойства кварца в различных направлениях. [19]

Электреты представляют собой материалы, которые, будучи поляризованы, могут в течение длительного времени сохранять состояние электризации. Таким образом, они являются формальными аналогами постоянных магнитов. [20]

Подобно тому как в начале § 2 строились формулы булевой алгебры, из введенных нами формальных объектов строятся формулы исчисления высказываний. Различие заключается в употреблении дополнительного символа Z) ( формального аналога булевой операции импликации), а также в замене точки в обозначении конъюнкции ( умножения) символом Див употреблении в качестве знака отрицания вместо черты над отрицаемым выражением символа i, ставящегося перед отрицаемым выражением. [21]

Нторой синтез иллюстрирует специфические возможности использования циклопропапировапия с последующим кислотно-катали. Отметим, что напряженная система циклопропана является в пекотором смысле формальным аналогом напряженного двучленного цикла олефина и, подобно последней, способна присоединять лектрофильные агенты с разрывом одной из своих связей. Такое электро-фильное раскрытие циклопропанов является ключевым событием в той последовательности реакций, которая суммирована в виде заключительной стадии второго синтеза. Общей чертой этих реакционных последовательностей является введение в трансформируемую молекулу высоконапряженного циклического фрагмента ( стадия запасания потенциальной энергии), который в нужный момент легко раскрывается тем или иным способом с образованием требуемой молекулярной системы ( стадия использования запасенной энергии), причем эта конструктивная стадия включает скелетную перегруппировку. [22]

Среди одной из тех задач постепенно вырисовывающейся общей теории, которые представляются особенно заманчивыми, можно отметить несомненную связь дуального принципа, по которому каждая древняя социальная единица делится на две ( с дальнейшими двоичными делениями), и митоза - деления клетки, при котором происходит удвоение хромосом. Речь идет не просто о внешнем сходстве простейших культурно-антропологических и генетических явлений, находящем известный формальный аналог и в принципе двойственности в математике. [23]

Данные табл. 3.14 с этим предположением не согласуются. Промежуточные соединения указанного типа должны сольвати-роваться или реагировать с активными растворителями подобно биполярному иону, который является формальным аналогом записанных выше структур. Это должно было бы сопровождаться изменением значений константы скорости при переходе от менее полярных растворителей к более полярным, и в продуктах реакции обнаруживались бы соединения с неразрушенной С-С - связью на месте бывшей СС-связи. Последние до сих пор не были найдены. [24]

Именно принципиальная неформализуемость процессов оценки ситуации и принятия решения, где интуиция и искусство управляющих и их личные качества играют первостепенную роль, не позволяют построить чисто формальный аналог функционирования подсистемы управления. [25]

Правила эти представляют собой формальные аналоги двух обычных, хорошо известных явлений в математике. [26]

Надперекиси КО2, RbO2 и CsO2, образующиеся при непосредственном сожжении металлов в избытке кислорода, окрашены в желто-оранжевый цвет. Электронная структура иона О - сходна со структурой нейтральной молекулы О2 ( см. стр. Формальным аналогом иона перекиси является ион озонида О, образующийся при присоединении электрона к молекуле озона. Этот ион содержат молекулы М03, образующиеся при взаимодействии сухого КОН или CsOH с О3, но эти соединения легко разлагаются при нагревании на соответствующие перекиси и кислород. [27]

Общая величина энергии разлагается на сумму шести слагаемых. При этом не делается попытки оценить сравнительную роль остальных пяти слагаемых. Рассчитываемая величина является формальным аналогом ориентационного эффекта. Другими словами, вычисляется только взаимодействие жестких мультипо-лей молекулы адсорбата с совокупностью точечных зарядов на поверхности адсорбента. Далее, как выясняется, величина этой энергии может быть оценена как функция принятых значений ряда параметров. Авторы убедительно показывают, как чувствительна искомая величина к этим принятым значениям ( см. таблицы на стр. Произвольно усредняя найденную величину энергии по всем мыслимым значениям этих параметров, авторы получают, наконец, теоретическое значение энергии адсорбции. Очевидно далее, что это значение может относится только к абсолютному нулю. [28]

Выражения исчисления строятся по точно установленным правилам; для любых двух выражений исчисления ( записанных достаточно разборчиво) задача их различения и отождествления всегда ( в принципе) решается. При интерпретации исчисления обычно заранее предполагается, что предметы, составляющие предметную область, выбраны так, что мы можем отвлечься от происходящих с ними изменений и их взаимодействия и рассматривать каждый из них как совершенно фиксированный, неменяющийся, жесткий предмет, полностью отличный от других предметов. В таком формализованном языке каждое выражение употребляется в одном и том же смысле, а каждый предмет из области интерпретации исчисления подчиняется онтологич. В исчислениях обычно встречаются формулы, являющиеся формальными аналогами содержательного принципа А - А. Вид этих формул зависит от типа исчисления. В аксиоматически построенных исчислениях формулы такого рода являются доказуемыми ( из аксиом исчисления по его правилам вывода) либо входят во множество аксиом исчисления. [29]

Вполне возможно, что все математики в конце концов восприняли бы подход Гильберта, если бы Гильберту удалось успешно осуществить свой замысел. Это может означать только две вещи: либо умозаключения, с помощью которых проводится доказательство непротиворечивости, должны содержать какой-то довод, не имеющий формального аналога внутри системы, т.е. нам не удалось полностью формализовать процедуру математической индукции; либо надежду на строго фини-тистское доказательство непротиворечивости необходимо оставить навсегда. Генцену, наконец, удалось доказать непротиворечивость арифметики [10], он действительно вышел за пределы гильбертовской системы, провозгласив очевидным некоторый тип умозаключения, который проникает во второй класс ординальных чисел Кантора. [30]

Страницы: 1 2 3