Cтраница 3
Так как она справедлива и для единичного идеала ( всегда неприводимого), то в силу принципа индукции по делителям теорема верна в общем случае. [31]
Бесколлекторный электродвигатель переменного тока, в котором один из элементов - ротор или статор - присоединяется к сети, в то время как другой работает на принципе индукции. [32]
В заключительных строках § 6 надо отметить, что множество В становится в нашем случае ( поскольку сделаны указанные изменения) счетным множеством; мы получаем, таким образом, в настоящем случае доказательство основной леммы без применения принципа индукции. [33]
Взаимосвязь дефинициальных свойств классов и фактуальных свойств их экземпляров выражается следующим принципом индукции свойств: дефинициальные свойства классов влекут фактуаль-ные свойства своих экземпляров. Принцип индукции явным образом отражается в операциях над классами и экземплярами классов. К ним относятся в первую очередь операции доступа к атрибутам класса и экземпляра класса. [34]
Принцип трансфинитной индукции, обобщающий обычный принцип математической индукции, заключается в следующем. [35]
В силу принципа трансфинитной индукции, теорема доказана. [36]
Отсюда вытекает, что если с - порядковое число и если для любого п, меньшего с, всякий вывод в ( 3i) с порядковым числом п ( при условии, что таковые вообще бывают) оканчивается непустой секвенцией, то это должно быть верно и для с. Отсюда по принципу индукции для 0-со-фигур получается, что в ( 3i) вообще не существует вывода пустой секвенции. [37]
Обоснованием индуктивизма также может служить опыт. Другими словами, принцип индукции срабатывал в случаях 1, 2, 3, и потому можно сделать вывод, что он действует всегда. [38]
Эта аксиома носит название полной, или возвратной, И. Принцип полной индукции эквивалентен принципу обычной индукции. [39]
Генератором называется такая машина, которая преобразовывает механическую энергию в электрическую. Все генераторы основаны на принципе элок-тром шштной индукции, который заключается в следующем: если движущийся проводник пересекает неподвижное магнитное поле или когда движущееся магнитное поле пересекает неподвижный проводник, то в проводнике наводится ЭДС, которую называют индуктированной ЭДС. Это явление носит название электромагнитной индукции. [40]
Итак, один сельсин задает угол поворота магнитному потоку, трехпроводная линия переносит это направление магнитного потока во второй сельсин и, наконец, в последнем вырабатывается сигнал ошибки. Для работы схемы, основанной на принципе индукции, - совершенно безразлично, где располагать трехфазную и однофазную - обмотки - на статоре и - на роторе или наоборот, а также какой сельсин подключать к сети и с какого сельсина снимать сигнал ошибки; эти вопросы не влияют на принцип наложения ООС и решаются в форме, более удобной по конструктивным соображениям. [41]
Все элементы / 8 - отличны от 0; рассмотрим их ранги. Чтобы завершить рассуждение, остается сослаться на принцип индукции по множеству В. [42]
Алгоритм А, приведенный в предыдущем параграфе, дает лишь программы, не содержащие циклов. Чтобы порождать итеративные программы, мы должны применить какой-то принцип индукции. Говоря об использовании принципа индукции, мы имеем в виду, что вместо вывода главного дизъюнкта-ответа оказывается достаточно вывести некоторые вспомогательные дизъюнкты-ответы. Каждый вспомогательный дизъюнкт-ответ порождает некоторую подпрограмму. Затем эти подпрограммы связываются в программу. [43]
Применительно к высказываниям об играх с конечной, но неограниченной длиной партий в качестве решающего вспомогательного средства используется трансфинитная индукция. Чтобы менее искушенному читателю было легче понять, о чем идет речь, в приложении приведены без доказательства определения и теоремы, необходимые для формулировки принципа индукции. Это приложение имеет законченный характер, но ни в коей мере не может ни сократить, ни заменить изучение соответствующей части проблематики трансфинитной теории множеств. [44]
Алгоритм А, приведенный в предыдущем параграфе, дает лишь программы, не содержащие циклов. Чтобы порождать итеративные программы, мы должны применить какой-то принцип индукции. Говоря об использовании принципа индукции, мы имеем в виду, что вместо вывода главного дизъюнкта-ответа оказывается достаточно вывести некоторые вспомогательные дизъюнкты-ответы. Каждый вспомогательный дизъюнкт-ответ порождает некоторую подпрограмму. Затем эти подпрограммы связываются в программу. [45]