Cтраница 3
Вторая теорема утверждает, что существует эффективная процедура для определения этого места. [31]
Кроме того, очень важно иметь эффективные процедуры восстановления, которые позволяют в возможно более короткий срок после выхода из строя вновь обеспечить ее нормальное функционирование. [32]
Нет поэтому ничего удивительного, что практически эффективные процедуры разрешения могут быть построены не только в, разрешимых, но и в неразрешимых теориях. Не следует забывать, что человек, успешно работающий в области той или иной неразрешимой теории ( например, в арифметике натуральных чисел), пользуется конечным ( и, зачастую, даже не очень большим) числом приемов для проведения доказательств и построения опровергающих примеров. Задача практических процедур разрешения как раз и состоит в том, чтобы формализовать указанные приемы. [33]
Эти модели не всегда носят характер эффективных процедур, поскольку в них могут входить такие понятия, как ( бесконечное) множество грамматически правильных предложений нек-рого языка, считающееся заданным. Однако в ряде моделей все исходные данные представляют собой конечные множества и финитные отношения; в этих случаях входящие в модель процедуры эффективны. [34]
Различают два вида задач по установлению эффективной процедуры обработки принятого сигнала: 1) обнаружение полезного сигнала при наличии помех. В этом случае но результатам обработки принятого сигнала ( он может быть либо только помехой, либо суммой полезного сигнала и помехи) решают, содержится полезный сигнал в принятом или нет; 2) выделение полезного сигнала, когда априори известно, что он послан и содержится в принятом. Для этого определяют нек-рое число ин-формац. [35]
Различают два вида задач по установлению эффективной процедуры обработки принятого сигнала: 1) обнаружение полезного сигнала при наличии помех. В этом случае по результатам обработки принятого сигнала ( он может быть либо только помехой, либо суммой полезного сигнала и помехи) решают, содержится полезный сигнал в принятом или нет; 2) выделение полезного сигнала, когда априори известно, что он послан и содержится в принятом. Для этого определяют пек-рое число ин-формац. [36]
Леммы В и С позволяют сформулировать следующую эффективную процедуру вычисления a ( h, k, с) в случае, когда h и k взаимно просты. [37]
Функция г рекурсивна, так как существует эффективная процедура для определения, равно ли Фг ( п) или Фг ( п) числу пг. Если хотя бы одно из этих значений равно пг, то оба должны быть определены. Следовательно, можно эффективно вычислить максимум. [38]
Разумеется, для исчисления высказываний можно построить более эффективные процедуры доказательств, однако описанная процедура хороша тем, что допускает обобщение на случай исчисления предикатов. [39]
Этот пример выявляет две характерные особенности понятия эффективной процедуры, а именно что такая процедура совершается за некоторую последовательность шагов ( каждый шаг выполняется за конечное время) и что каждый выход появляется после конечного числа шагов. [40]
Мы можем, однако, доказать существование эффективной процедуры, которая, будучи применена к предложению F, дает предложение, не содержащее, имен или функциональных символов и общезначимое тогда и только тогда, когда F общезначимо. Тем самым мы покажем, как ( эффективно) найти предложение без, имен или функциональных символов, общезначимое тогда и только тогда, когда общезначимо исходное предложение, не выясняя, общезначимо оно или нет. [41]
Моделирование методом классических траекторий требует большого числа разнообразных эффективных процедур вычислений. Совокупность этих процедур представляет собой математическое обеспечение метода классических траекторий. В следующем разделе будут рассмотрены наиболее важные процедуры, используемые при динамических расчетах. [42]
Четвертое отличие состоит в том, что используется более эффективная процедура поиска по дереву. [43]
Такие меры защиты, в случае необходимости, включают эффективные процедуры для разработки социальных программ с целью предоставления необходимой поддержки ребенку и лицам, которые о нем заботятся, а также для осуществления других форм предупреждения и выявления, сообщения, передачи на рассмотрение, расследования, лечения и последующих мер в связи со случаями жестокого обращения с ребенком, указанными выше, а также, в случае необходимости, для возбуждения судебной процедуры. [44]
Проблема остановки - это проблема построения систематического метода - эффективной процедуры - для выявления машин Тьюринга, которые, будучи запущенными в начальном состоянии на пустой ленте, никогда не остановятся. [45]