Cтраница 3
Россера, сделанные им недавно на одном из коллоквиумов. Они указывают на сходство истории гипотезы Кантора с историей аксиомы Евклида о параллельных. [31]
В спектре комбинационного рассеяния СС1Вг3 было найдено шесть интенсивных линий, которые Дельволль и Франсуа [1302] отождествили с шестью основными частотами. Мейстер, Россер и Кливленд [2849] отмечают большую ширину линии при 211 см 1 и аномально большое для полносимметричного колебания значение степени деполяризации этой линии. [32]
Чер-ча - Россера, в к-рых результат не зависит от порядка применения преобразований. [33]
Этот улучшенный Россером вариант метода заключается в использовании вместо креативного множест. [34]
Колебательные спектры жидкого трибромметана изучены многими исследователями. В работе Мейстера, Россера и Кливленда [2849] рассмотрены результаты исследований спектра комбинационного рассеяния и инфракрасного спектра жидкого трибромметана, опубликованные до 1950 г., и дано сравнение с результатами, полученными авторами этой работы. [35]
Системы замещений иногда включают отношение эквивалентности на Q. В определении свойства конечности Черча - Россера и в теореме 8.8 эта эквивалентность далее используется вместо равенства. [36]
Другой подход к копредставлениям ( называемым также системами Туэ) моноидов и полугрупп состоит в наложении тех или иных ограничений на выводы, касающихся длины слов. Например, копредставлеиие Т называется копредставлением Черча - Россера, если равенство х у в Т влечет существование такого z, что х z, у z н z может быть выведено из х и у заменами, укорачивающими длины слов. [37]
В последнее время это понятие стало активно использоваться Б программировании. Так, с точки зрения систем Черча - Россера исследуются оптимизационные преобразования программ. Любую параллельную программу можно промоделировать в виде последовательного, но недетерминированного процесса, в котором параллельное выполнение действий заменяется на выполнение этих же действий в произвольном порядке. Поэтому особый интерес вызывает подход, основанный на свойстве Черча - Россера, для проверки правильности и моделирования асинхронных параллельных программ. [38]
Отношение выводимости в системах Черча - Россера обладает таким свойством, что элементарный переход от одного элемента к другому определяется лишь отношением выводимости и не определяется никаким управлением извне. Этот факт ограничивает область применения системы Черча - Россера. Более общей моделью служат преобразователи Черча - Россера - недетерминированные дискретные преобразователи, обладающие свойством функциональности отображения вход - результат. Преобразователи Черча - Россера - более удобное средство для задания вычислений по сравнению с системой Черча - Россера, так как такие преобразователи Позволяют за счет управления более гибко описывать процесс обработки. [39]
Преобразователь А называется преобразователем Черча - Россера относительно ( &, ( г), если для любого d 6 множество результатов A ( d, ( г) состоит из одного элемента. Поэтому можно сказать, что А - преобразователь Черча - Россера относительно (, ( г), если все реализации Л, начинающиеся в ситуации ( d, ( г), либо никогда не заканчиваются, либо всегда заканчиваются с одним и тем же результатом. [40]
Употребление 1 - для выражения выводимости по правилам вывода исходит от Россера; видоизменение, делающее ] - зависимым также и от аксиом, исходит от автора. [41]
Эган и Кемп [373] опубликовали следующие низкотемпературные термические данные: Tt 173 78 К, ДЯ. Экспериментальное значение энтропии хорошо согласуется с рассчитанным Веисманом, Бернстейном, Россером, Мейстером и Клевелендом [1584] значением S w ( g) 58 75 кал / ( молъ - К), полученным на основании собственных отнесений колебаний и величин: моментов инерции, близких к микроволновым результатам Миллера, Аамодта, Доусманиса. [42]
Необходимо отметить, что строгое определение системы Черча - Россера несколько отличается от приведенного здесь и охватывает более узкий класс систем. В некотором смысле для практических вычислений представляет интерес только система Черча - Россера, так как почти всегда требуется однозначность результата. [43]
Для понятия Х - определимости имеются варианты: - К. Имеется Также параллельное развитие, начатое Шейнфинкелем [1924] иКарри ( [1929, 1930, 1932]) и продолженное Россером ( [1935, 1942 ]) ( см. также Карри [1948 -49]), приводящее к понятию, которое можно назвать комбинаторной определимостью; эквивалентность этого понятия с Х - определимостью была доказана Россером. [44]
Затем процедурная часть применяется к имеющейся базе данных. Порядок выполнения процедуры - слева направо, если система не обнаружит, что процедура имеет свойство Черча - Россера, т.е. процедура генерирует один и тот же результат для любой перестановки ее компонентов. В этом случае наиболее эффективный порядок выполнения определяется системой. [45]