Cтраница 1
Индуктивное доказательство того, что Zgoh Bbi - числяет go / i, базируется непосредственно на этом замечании и предоставляется читателю. [1]
Индуктивное доказательство достаточности условий ( а) - ( в) подсказывает способ построения кода по заданной структурной функции. [2]
Дайте краткое индуктивное доказательство того, что шесть цветов достаточно для раскраски ( правильной) любой плоской карты. Используйте тот факт, что если каждая вершина имеет степень, по меньшей мере 3, то, по крайней мере, одна грань имеет самое большое пять сторон. [3]
Чтобы завершить индуктивное доказательство, нам нужно показать, что предполагаемое тождество D. Если N Q, то векторы А и В пустые и поэтому Х А - - Х и У, fi - -, У. Следовательно, левая часть приобретает вид / X Y или просто - У У. [4]
Тем самым индуктивное доказательство завершено, ибо справедливость этого соотношения при N-2 мы уже установили. Самое главное, что в ходе доказательства мы установили и правило, наилучшую методику поиска. [5]
На этом индуктивное доказательство заканчивается. [6]
Критика методов индуктивного доказательства ценна богатым фактич. [7]
Теперь мы представим формально индуктивное доказательство для D. V и W формы N ( т.е. / / N, ( pV), pW), и доказав, что оно справедливо для формы N 1, т.е. для X, V и У, W, где X и У - это произвольные скаляры. [8]
Для использования в индуктивном доказательстве мы сначала дадим рекурсивное описание функции Г, эквивалентное А. [9]
Дадим, наконец, полное индуктивное доказательство ( хотя нетрудно провести и неформальную проверку) верности в Z всех квазизеркальных тождеств. [10]
Какой предмет особенно удобен для того, чтобы дать идеальное индуктивное доказательство. [11]
Мы будем использовать порядок, устанавливаемый параметром t предиката М имеет значение N за время в приведенных ниже индуктивных доказательствах лемм и теоремы, в которых последовательности редукций соотносятся с переходами SECD-машины из одного состояния в другое. Поскольку имена переменных не меняются в определении этого предиката, ясно, что если М аМ, то М имеет значение N за время t, если и только если для некоторого N a. Ясно также, что если eval ( M) существует, то это замкнутая величина. [12]
Я сказал выше, что А по своей природе не может быть дедуктивно доказуема. Но она не может иметь и индуктивного доказательства. Обоснование некоторой теоремы ( в отличие от аксиомы) может быть дано только в терминах более ранних теорем или аксиом, первая теорема может, стало быть, опираться только на аксиомы. [13]
Основной результат этого параграфа показывает, как с помощью инфляции можно получить из центральной простой алгебры, индекс которой больше 1, алгебру, эквивалентную циклической алгебре с делением простого индекса. Этот прием часто бывает полезным при индуктивных доказательствах. Наиболее важное его приложение содержится в гл. В этом параграфе мы применим его для описания полей, конечные сепа-рабельные расширения которых имеют тривиальные группы Брауэра. [14]
В этом случае ввиду наличия в индуктивном доказательстве большого числа перекрестных ссылок на индуктивные предположения, для содержательного ( неформального) понимания любого ( даже самого простого) определения или утверждения при данном достаточно большом значении параметра индукции читатель должен быть знаком с содержанием всех вводимых совместной индукцией понятий и многих свойств этих понятий для меньших значений параметра индукции. [15]