Cтраница 1
Три правила, входящие в отношение I, являются взаимоисключающими, поэтому успех возможен самое большее в одном из них. Следовательно, мы ( но не пролог-система) знаем, что, как только успех наступил в одном из них, нет смысла проверять остальные, поскольку они все равно обречены яа неудачу. [1]
Три правила, о которых шла речь выше, характеризуют качественно многие явления, связанные с рождением и поведением гиперонов и / С-мезонов. [2]
Три правила характеризуют взаимные соотношения размеров волн. [3]
Эти три правила могут быть иллюстрированы далее в связи со следующей задачей. [4]
Эти три правила составляют простейший способ, использование которого, однако, требует большого внимания и некоторой тренировки. В - случае сложных схем можно легко ошибиться при составлении эквивалентных контуров. [5]
Эти три правила отражают зависимость оценки участка от доступности и величины ближайшего пешеходного и транспортного потока. Первое правило также связано с ограничениями на постройку жилых зданий, содержащихся в Строительном уставе. [6]
Эти три правила ( из которых фактически вытекает и четвертое, касающееся анионных проводников) охватывают значительную часть простых металлических соединений, в частности окислов и сульфидов, и, несмотря на ограниченность теории, могут оказать большую помощь при разработке окалиноотойких сплавов. [7]
Эти три правила, известные как законы Коновалова, оказались полезными для установления общего направления кривых изотермических равновесий. [8]
Эти три правила существуют столько, сколько существуют рынки, и, несмотря на это, очень мало людей понимают, что они означают. [9]
Эти же три правила относятся и к суммированию падений напряжения. [10]
Укажем на три правила, соблюдение которых необходимо при триангуляции диаграммы тройной системы. [11]
Из сказанного следуют три правила, имеющие большое значение для практики. [12]
В доказательстве используются три правила вывода: подстановка, замена, отделение, а в качестве аксиом - пять истинных высказываний. Построение доказательства начинается от конечного результата по направлению к исходным посылкам. Эта направленность доказательства и вопросы иерархического цепеобра-зования в доказательстве теорем имеют ряд общих черт с процедурой синтеза структуры ХТС. На каждом этапе из заданного списка аксиом или ранее доказанных теорем выбирается такая теорема, из которой с помощью правил вывода может быть выведена теорема данного этапа. Поэтапная процедура доказательства продолжается до тех пор, пока в списке для вывода не окажутся исходные посылки. В этом случае проблема считается решенной. Необходимо однако отметить, что в ряде случаев поиск метода доказательства теорем может оказаться также и безуспешным. [13]
В § 2.1 были сформулированы три правила для получения НОД двух чисел. Применив эти правила, построим требуемую граф-схему. [14]
При юридическом определении О.н. выделяются три правила его ограничения: по субъекту, т.е. определение налогоплательщика и его статуса; по территории возникновения объекта; по конструкции самого объекта, т.е. разделении родственных показателей на два налога либо выведения отдельного показателя из-под налогообложения ( например, граждане уплачивают один налог на доход, тогда как предприятия имеют два самостоятельных О.н. и уплачивают налог на прибыль и налог на доход - от дивидендов и пр. Существуют следующие виды О.н.: права, действия ( деятельность) и их результаты. Права подразделяются на права имущественные, т.е. на имущественные объекты ( право собственности на землю, автомобили, имущество предприятия; право пользования землей и пр. К действиям относятся, например, вывоз или ввоз на территорию страны товара, реализация товара, операции с ценными бумагами. [15]