Cтраница 2
Фиксируем точку С на прямой и введем отношение следования для пар точек прямой, разрезанной в С, как указано выше. Тогда утверждение теоремы состоит в том, что D находится между А ц В. [16]
Итак, мы имеем исходное предложение с отношениями следования и управления и его гомоморфизмы в другое предложение, на котором эти отношения индуцируются как - образы ( см. § 2 гл. Но мы уже видели, что при переходе к а-образам свойства отношений могут портиться. [17]
Простейшее из возможных отношений на М - это отношение следования: х левее у. [18]
Каждая точка первого класса в смысле принятого определения отношения следования предшествует каждой точке второго класса. По аксиоме непрерывности, если она имеет место, должна быть точка ( р, 0), производящая разбиение на классы. Число р обладает свойствами: х, если ( х, 0) первого класса, ир -, если ( х, 0) второго класса. Но по определению классов таким свойством обладает только число Р - а. А ( а, 0) не является точкой прямой. И следовательно, аксиома непрерывности не выполняется. [19]
Процесс называется последовательным, если все его элементы связаны отношением следования, т.е. V ( x, y) GXXX: xliy, где X - множество элементов процесса. В последовательном процессе отношение следования является отношением полного упорядочения. [20]
В основе рассматриваемого метода лежит четкое различение элементарных событий и установление отношений следования и взаимосвязи между ними. Исходя из взаимосвязей между событиями и их временной последовательности, строится сетевая модель несчастного случая или аварии. Связь устанавливается обратным ходом: сеть вычерчивается в обратном порядке от конечного элементарного события - момента травмирования. [21]
Аргументационные системы строятся над логическим языком и связанным с ним понятием отношения следования с помощью определения понятия аргумента. Это отношение следования предполагается монотонным: новые посылки не могут отменить ( сделать не действительным) аргумент, а могут лишь вызвать новые контраргументы. Некоторые аргументационные системы предполагают наличие конкретной логики, другие же оставляют лежащую в основе логику неопределенной частично или полностью, поэтому последние системы могут работать с различными логиками, что делает их скорее каркасами ( структурами), нежели системами. Понятие аргумента соответствует доказательству ( или существованию доказательства) в базовой логике. [22]
Основная проблема при формировании графа хода выполнения программы заключается в определении отношений следования для линейных участков, получаемых в процессе расчленения программы. Сложность решения этой задачи непосредственно зависит от исходно. Причиной этого ч является то, что в различных языках программирования имеются разные по числу и сложности средства явного и неявного управления последовательностью действий. [23]
При употреблении в независимом предложении Futur simple называет процесс, находящийся в отношении следования к плану настоящего. [24]
Каждая вершина графа означает переход, а ребра, связывающие вершины, выражают отношение следования. Например, в одну вершину / 8 ( рис. 2.2, а) сходятся три ребра. [25]
Во-первых, необходимо вместо аксиом порядка Гильберта вводить систему аксиом, основанную на отношении следования для пар точек. Такая система, как известно, эквивалентна системе аксиом Гильберта, но отличается от нее простотой, близостью к привычным представлениям о расположении точек на прямой и позволяет двумя-тремя простыми следствиями, из нее вытекающими, подготовить вопрос о введении меры для отрезков и углов. [26]
Целью обработки поездов по отправлению на промышленной станции является обеспечение их безопасного в техническом и коммерческом отношении следования до станции назначения. Обслуживание поездов на промышленной станции зависит от сферы их обращения и принадлежности подвижного состава. [27]
А В) гэ ( C / AiD CVB): каково бы ни было отношение следования, оно сохраняется при рассмотрении как посылки, так и заключения в дизъюнктивном объединении с любым дополнительным фактом С. [28]
Следовательно, установление порядка следования троек в аналитической реализации есть просто восстановление следования троек проективной прямой через отношение следования для пар точек на аффинной прямой. [29]
Обычная для алгоритмических языков последовательная структура управления представляет собой совокупность операторов различных типов, которые связаны некоторым отношением следования. Начальный оператор ( единственный в программе) не следует ни за каким-либо другим оператором. После безусловного оператора следует ровно один оператор. После заключительного оператора не следует никакой другой оператор. Исполнение программы с последовательной структурой управления начинается с начального оператора. После завершения исполнения безусловного оператора начинается выполнение следующего за ним оператора. После завершения исполнения условного оператора начинается исполнение одного из двух следующих за ним операторов в зависимости от значения логического условия, вычисленного в условном операторе. Исполнение программы завершается исполнением заключительного оператора. [30]