Cтраница 1
Диагональный метод ( см. [8], стр / 153) показывает, что это в общем случае невозможно. [1]
Согласно диагональному методу на каждом шаге рассматриваются первый из оставшихся пунктов отправления и первый из оставшихся пунктов назначения. Однако из существа дела ясно, что это не обязательно. [2]
Посредством знаменитого диагонального метода Кантора было доказано, что в математике рассматриваются и такие бесконечные множества, которые не могут быть пересчитаны. [3]
Применение диагонального метода нарезания бочкообразных зубьев может быть рекомендовано только в условиях массового производства зубчатых колес. [4]
Что доказывает диагональный метод. [5]
Важные применения диагонального метода рассматриваются в следующих двух главах. [6]
Используя так называемый диагональный метод, Тьюринг построил доказательство того, что не существует алгоритма, который может успешно рассмотреть все частные случаи проблемы остановки. [7]
Соответствующим образом приспособив диагональный метод ( см. табл. 2 - 1), докажите, что множество всех действительных чисел, лежащих на интервале ( 0 1), несчетно. [8]
Тогда с помощью диагонального метода легко построить тотальную вычислимую функцию g, которая будет отличаться от каждой из функций этого списка. Полученное противоречие и доказывает теорему. [9]
Червячные колеса нарезают диагональным методом на зубофрезерных станках с универсальными суппортами. [10]
Доказательство основано на диагональном методе. Без потери общности предполагаем в доказательстве, что входная последовательность любой С-машины всегда состоит только из единиц. С-машин, в которой Сг - либо С-машина с геделевским номером t, либо некоторая С-машина, на входе которой всегда О, если i не является геделевским номером ни для какой С-машины. В дополнение к этому теорема 2 устанавливает, что для любой С-машины с первоначально непустыми лентами существует по крайней мере одна эквивалентная С-машина с первоначально пустыми лентами. Следовательно, все С-машины, определенные нами, представлены в нумерации. [11]
При настройке станка на диагональный метод нарезания прямозубых колес, кроме гитар ( деления, вертикальной подачи и скоростей), необходимо дополнительно настроить гитары осевой подачи и дифференциала. [12]
При настройке станка на диагональный метод нарезания прямозубых колес необходимо, кроме гитар ( деления, вертикальной подачи и скоростей), дополнительно настроить гитару осевой подачи и гитару дифференциала. [13]
ДОКАЗАТЕЛЬСТВО проводится с помощью диагонального метода Кантора Подмножество М определено, если установлено, каковы те элементы М, которые принадлежат этому подмножеству. Этого можно добиться, установив общий критерий, который для любого элемента т множества М определяет, принадлежит этот элемент подмножеству или не принадлежит. [14]
Давайте теперь применим обещанный трюк - Канторов диагональный метод. Тем не менее, Beldiag будет хорошо определенной, вычислимой функцией с одной переменной, таким образом, нам придется заключить, что некоторые функции просто невозможно запрограммировать на Блупе. [15]