Cтраница 2
Выводом на предикатах, имеющим смысл утверждения, являются формулы, выводимые из системы предикатов с помощью их эквивалентного ( в смысле системы аксиом) преобразования с помощью правил вывода. Алгоритм вывода является полным в том случае, если формула выводится из аксиом за конечное число шагов. [16]
Говорят, что выражение является установленным, если для определения его истинности были выполнены все возможные действия и его результирующая достоверность ( точно в смысле системы EMYCIN) попадает в некоторый заранее указанный интервал достоверности. Правило, обладающее контекстом, не может быть применено, пока не будет установлен его контекст. Таким образом, хотя контексты непосредственно не влияют на вычисление вероятности, они оказывают большое воздействие, разрешая применения правил и влияя на последовательность, в которой задаются вопросы. [17]
Если, наконец, q не принадлежит а, пусть L будет кривой из S, проходящей через две произвольные внутренние точки q и q сегментов ( в смысле системы S), ведущих от q к р и к г соответственно. [18]
По своему значению ваучерную приватизацию сравнивают с отменой крепостного права, потому что она тоже полностью изменила экономические реалии в стране, поставила Россию в один рад ( в смысле системы собственности) с быстро развивающимися странами; открыла в Россию дорогу иностранному промышленному капиталу; позволила многим жителям России быстро, на собственном опыте освоить законы рыночной экономики, по которым уже давно живет мир. [19]
По своему значению ваучерную приватизацию сравнивают с отменой крепостного права, потому что она тоже полностью изменила экономические реалии в стране, поставила Россию в один ряд ( в смысле системы собственности) с быстро развивающимися странами; открыла в Россию дорогу иностранному промышленному капиталу; позволила многим жителям России быстро, на собственном опыте освоить законы рыночной экономики, по которым уже давно живет мир. [20]
Интуитивная догадка, которая позволила нам установить, что утверждение Геделя Pjt ( fc) является на самом деле истинным, представляет собой разновидность общей процедуры, известной логикам как принцип рефлексии: посредством нее, размышляя над смыслом системы аксиом и правил вывода и убеждаясь в их способности приводить к математическим истинам, можно преобразовывать интуитивные представления в новые математические выражения, невыводимые из тех самых аксиом и правил вывода. То, как нами была выше установлена истинность Р ( А:), как раз базировалось на применении этого принципа. Другой принцип рефлексии, имеющий отношение к доказательству Геделя ( хотя и не упомянутый выше), опирается на вывод новых математических истин исходя из представления о том, что система аксиом, которую мы полагаем априори адекватной для получения математических истин, является непротиворечивой. Применение принципов рефлексии часто подразумевает размышления о бесконечных множествах, и при этом нужно быть всегда внимательным и остерегаться рассуждений, которые могут привести к парадоксам наподобие расселовского. Принципы рефлексии полностью противопоставляются рассуждениям формалистов. Если использовать их аккуратно, то они позволяют вырваться за жесткие рамки любой формальной системы и получить новые, основанные на интуитивных догадках, представления, которые ранее казались недостижимыми. В математической литературе могло бы быть множество приемлемых результатов, чье доказательство требует прозрений, далеко выходящих за рамки исходных правил и аксиом стандартной формальной системы арифметики. Все это свидетельствует о том, что деятельность ума, приводящая математиков к суждениям об истине, не опирается непосредственно на некоторую определенную формальную систему. [21]
В 1975 году датчанин Клаус Мюллер зарегистрировал оригинальное изобретение - систему управлен: назвал тайм-менеджер. Смысл системы состоит в экономии времени на принятие решений Е подсознания. Вначале она не воспринималась серьезно, а сейчас обросла легендой, курсы по ее освоен менеджеров и других специалистов на Западе. Используемая как привычка, она экономит от 25 до 35 % решения. [22]
С одной стороны, компании удобно строить свои отношения с дистрибьютером как с индивидуальным предпринимателем и просто продавать ему свои товары по минимальной оптовой цене. Однако смысл системы состоит в возвратности процентов. [23]
Таким образом, в аморфной системе, содержащей микрокристаллиты, прогрев может как увеличивать количество дефектов ( особенно для достаточно крупных кристаллитов), так и уменьшать их путем снятия напряжений матрицы, отжига возникших разорванных связей и вытеснения микрокристаллитов в менее плотные или полостные участки границы раздела и поверхности. В этом смысле системы Si - SiO2 будут тем более термостабильны, чем больше они аморфны и чем меньше содержат микрокристаллических включений. Действительно, в системах, приготовленных по HCl-технологии, не обнаружено микрокристаллитов. [24]
Далее, нельзя называть эквивалентными преобразования структурных схем типа перенос точки отбора связи, перенос точки приложения связи через звено, поскольку они приводят к увеличению порядка уравнений системы и к появлению неуправляемых и ( или) ненаблюдаемых частей. Эквивалентные в этом смысле системы, будучи реализованными ( например, на модели), могут вести себя совершенно по-разному при появлении дополнительных правых корней характеристических уравнений. Все это делает необходимым уточнение соответствующих формулировок. [25]
Из этого вывода следует, что эффект импульса данной величины зависит от частоты свободных колебаний системы: для высокочастотных систем он больше, чем для низкочастотных. Если сравнить две равнопрочные в статическом смысле системы ( например, балки), имеющие различную частоту свободных колебаний, то их импульсная прочность будет различна: низкочастотная система окажется прочнее высокочастотной. [26]
Система материальных точек или материальная точка называется изолированной, если отсутствуют внешние силы. Во Вселенной не может быть изолированных в абсолютном смысле систем, поскольку все тела взаимно связаны, например, силами тяготения. [27]
В данном случае термин госорган не означает непременно органйза-цию относящуюся к аппарату государства, а ст. 94 ГК РСФСР вообще употребляет термин государственная организация, который не идентичен аналогичному термину, употребляемому в теории государства. Нами употребляется наименование госорган, тождественное государственной организации в смысле системы понятий гражданского права. [28]
Недостатком размещения информации вне репозитория является то, что невозможно установить соответствие между функциями и сущностями ( а также модулями с законченным программным текстом и описаниями базы данных) с одной стороны и требованиями, предъявляемыми к системе, с другой. Из-за того что ключевые требования не отслеживаются достаточно тщательно, они могут быть пропущены, а смысл системы - утрачен. В Oracle Designer существует элемент Objectives ( цели), который мог бы стать решением проблемы, но он имеет абсолютно другое значение, и его свойства трудно приспособить для хранения требований. Необходим полновесный элемент Requirements ( требования), который можно было бы связать с другими элементами репозитория. Это гарантирует, что все операции, выполняемые для системы, определяются требованиями или, по крайней мере, основаны на них. [29]
В заключение следует еще раз подчеркнуть, что меры по оптимизации учебной нагрузки школьников призваны одновременно улучшить, а не снизить качество подготовки выпускников к обучению в вузах, к деятельности на производстве, к общественной и культурной жизни в нашем обществе, что гарантируется научно корректным применением критериев отбора основ наук, а также реализацией других учебно-методических и организационно-управленческих мер. В этой направленности на повышение качества подготовки выпускников при одновременном устранении их перегрузки учебной работой и заключен смысл системы мер, направленных на оптимизацию учебно-воспитательного процесса в современной школе. [30]