Cтраница 2
Работа трассоискателя основана на принципе индукции. [16]
Доказательство, основанное на принципе индукции, называется доказательством по индукции или доказательством методом индукции. [17]
Последнее равенство легко доказать, используя принцип индукции. [18]
Доказательство этого утверждения использует другой вариант принципа трансфинитной индукции, который удобнее применять к вполне-упорядочениям, чем к ординалам. [19]
Индуктивные системы позволяют обобщать примеры на основе принципа индукции от частного к общему. Процедура обобщения сводится к классификации примеров по значимым признакам. Алгоритм классификации примеров включает следующие основные шаги. [20]
Читателю предоставляется самостоятельно убедиться в том, что принцип индукции сохраняет силу и в этой измененной форме, которая называется возвратной индукцией, или индукцией пробега. [21]
Так почему мы все же верим в строгость принципа индукции. [22]
В самом деле, рассуждения, приводящие к принципу индукции назад ( ср. [23]
Сейчас мы обсудим нечто, тесно связанное с принципом индукции, а именно рекурсивное определение. [24]
Индуктивный характер определения К предполагает возможность использовать в доказательствах принцип индукции по определению К, который состоит в следующем. [25]
Индуктивный характер определения терма дает возможность использовать в доказательствах принцип индукции по построению. [26]
II) слова имеет место, применяемые в этом принципе индукции к интерпретации уз формулы у, означают: является теоремой формализованной арифметики. [27]
Лемма Цорна часто заменяет рассуждения, основанные на таких принципах, как принцип трансфинитной индукции, теорема Цермело о вполне упорядоченности, аксиома выбора. [28]
В приложении объясняются и иллюстрируются примерами, полезными в теории обобщенных функций, принцип многомерной индукции и рекурсивное определение. [29]
Если ап, е, RQ удовлетворяют условиям (5.48), (5.49), то согласно принципу индукции выражение в квадратных скобках 1 и утверждение леммы справедливо. [30]