Проблема - разрешение
Cтраница 1
Проблема разрешения для РА состоит в нахождении алгоритма, если в самом деле такой алгоритм существует, определяющего для каждого заданного предложения F языка L, верно F PA или нет. [1]
 |
Зависимость А. от Е для пластического сцинтиллятора толщиной 1 штриховкой показана область 20 % - кого разрешения. [2] |
Проблема разрешения не столь проста, как здесь описано. На самом деле этот разброс неоднороден, в результате чего нельзя полностью исключить регистрацию нежелательных частиц. [3]
Проблема разрешения загадки тау-тета послужило началом работ по несохранению четности, однако до сих пор эта загадка окончательно еще не разрешена. [4]
Проблема разрешения структурных конфликтов при компонентном проектировании близка проблеме разрешения конфликтов при интеграции схем баз данных. [5]
Проблема разрешения неопределенности гомоморфизма требует более глубокого проникновения в сущность явления, представленного эмпирическими данными. В настоящее время эта неформальная задача решается интуитивно. [6]
Постановка проблемы разрешения для логики пре дикатов аналогична постановке этой проблемы для ал гебры высказываний. Она ставится следующим образом: указать единый эффективный способ ( алгоритм) для определения по произвольной формуле, выполнима она или нет. [7]
При постановке проблемы разрешения класс математических объектов разделяют некоторым определяющим условием на два подкласса, и решение проблемы состоит в эффективной процедуре или алгоритме, который для любого объекта нашего класса за конечное число шагов определяет, какому из подклассов он принадлежит. Для правильной постановки проблемы необходимо, чтобы каждый объект выделялся некоторым конечным описанием, при этом должно быть ясно, является ли предложенное описание действительным описанием некоторого объекта рассматриваемого класса. [8]
В числе проблем разрешения противоречий целей энергокомпании важнейшей является обеспечение общественных требований к надежности и качеству энергоснабжения. Существует опасность игнорирования этих требований в пользу коммерческих целей энергокомпании, что может проявляться в перераспределении ресурсов, необходимых для достижения надежности, на другие проекты и мероприятия, например: экономия затрат за счет невыполнения регламентных работ; снижение резервирования оборудования ниже оптимального уровня; необоснованное сокращение запасов топлива на электростанциях; ориентация исключительно на одного более дешевого поставщика топлива. [9]
Черч доказал неразрешимость проблемы разрешения [ Черч, 1936 ] и что в настоящее время доказана неразрешимость ряда куда более скромных массовых математических проблем. Но ведь все эти результаты основаны на том или ином уточнении понятия алгорифма ( единого общего метода), например на понятии рекурсивной функции, и на предположении об адекватности этого уточнения, например на тезисе Черча, утверждающем, что рекурсивность равносильна вычислимости. Ясно, что без копания в понятии алгорифма никакое доказательство невозможности разрешающего алгорифма не пройдет. Если вы не хотите признать тезис Черча или что-нибудь в этом роде, то вы вынуждены будете согласиться с тем, что все ваши расхождения с господином Классом зависят от состояния наших знаний в настоящий момент. Все ваши антиклассическне высказывания придется тогда рассматривать как истины de facto, а не de jure. [10]
Применение сказанного к проблемам разрешения состоит в следующем. Мы говорим, что существует алгоритм, решающий данную проблему разрешения для подкласса Р класса С, если существует машина Тьюринга со следующими свойствами. Каждый объект класса С задается единственной последовательностью ленточных символов. Для определения того, принадлежит ли данный объект подклассу Р или его дополнению Р, машина Тьюринга начинает вычисления в заданном начальном состоянии, при этом последовательность, определяющая объект, должна быть записана на ленте, а читающая головка стоять, скажем, на самом левом символе последовательности. В любом случае вычисления должны закончиться за конечное число шагов. [11]
Приложения, являются проблемами разрешения. Так, для алгоритма с неразрешимой областью применимости неразрешима а. Вопрос о том, для любой ли неразрешимой проблемы разрешения ее неразрешимость может быть установлена таким способом, составляет так наз. [12]
Представляется вероятным, что проблема разрешения эквивалентности свободных схем является разрешимой, и, конечно, никакая из техник, пока что используемых нами для доказательства неразрешимости, здесь очевидным образом неприменима. [13]
В настоящей работе рассматриваются проблемы разрешения контекстно-свободных и контекстных языков машинами различного устройства. [14]
Поставленная задача носит название проблемы разрешения. Она ставится не только для алгебры вы сказьтаний, но и для других логических систем. [15]
Страницы: 1 2 3 4