Cтраница 2
Доказанная теорема позволяет решать проблему разрешения для формул, содержащих только предикаты, зависящие от одной переменной. Из следствия видно, что для того, чтобы установить, является ли формула 51 тождественно истинной или нет, достаточно проверить, является ли она тождественно истинной на всякой области, содержащей не более чем 2П элементов. [16]
Этот результат позволяет сводить проблему разрешения групповой сложности для произвольных полугрупп к случаю полугрупп вида S ( C), где С - конечный префиксный код. [17]
Позднее мы вернемся к проблеме разрешения: остановится ли в конце концов произвольно выбранное вычисление. [18]
Однако для различных частных случаев проблему разрешения все же удается решать ( см. монографии В. Шурани в списке лит. Аккерман, Основы теоретической логики, перевод с нем. [19]
Некоторые вопросы, связанные с проблемой разрешения для исчисления строгой импликации Аккермана. [20]
До настоящего момента в нашем обсуждении проблем разрешения использовалось самое общее понятие алгоритма - машина Тьюринга или ей эквивалентные. Однако интересные результаты возникают также, если наложить ограничения на рассматриваемый алгоритм. Возможно, самый простой тип алгоритма, имеющий тем не менее важные приложения, это тот, который описывается понятием вводимым ниже. [21]
Представим некоторые результаты, относящиеся к проблемам разрешения для основных классов грамматик в виде табл. 3, где указано, для каких проблем доказана, их разрешимость или неразрешимость. [22]
С теорией групповых представлений связаны важные примеры проблем разрешения В проблемах такого типа класс некоторых математических объектов разделяют на два подкласса по некоторому определяющему свойству, и проблема состоит в том, чтобы найти алгоритм, который для любого объекта за конечное число шагов выяснял бы, какому из двух подклассов этот объект принадле - жит. Такую проблему называют разрешимой, если указанный алгоритм существует. [23]
В печати находится статья автора [1] о проблеме разрешения для логики предикатов и операций. [24]
Для некоторых частных типов формул, однако, проблема разрешения решается. Мы рассмотрим наиболее важный тип формул, для которых решение проблемы разрешения может быть осуществлено. [25]
Изложенный способ, конечно, дает принципиальное решение проблемы разрешения, но число испытаний, которые необходимо произвести даже для несложных формул, настолько велико, что часто такая прямая проверка является практически неосуществимой. [26]
Изучение диаграмм Венна подсказало автору некоторые изменения решения проблемы разрешения для исчисления одноместных предикатов. Венн не занимался проблемами разрешимости и разрешения. Но для того, чтобы обосновать его метод преобразования информации ( в которую могут входить и частные предложения), нами решается проблема разрешения для формул исчисления одноместных предикатов с помощью только диаграмм Венна. Из ее решения получается общее правило, позволяющее обозревать логические следствия данных посылок. [27]
Проблема разрешения структурных конфликтов при компонентном проектировании близка проблеме разрешения конфликтов при интеграции схем баз данных. [28]
Мейер, Стокмейер и др. доказывают практическую неразрешимость некоторых проблем разрешения в логике и теории автоматов. [29]
Несмотря на принципиальные различия статистического и детерминистического подходов к проблеме разрешения, практические выводы, получаемые на их основе, нередко совпадают. Причиной этого является то, что статистические и детерминистические характеристики разрешающей способности находятся в сильной зависимости от одной и той же величины - функции неопределенности сигнала по параметру X ( см. гл. [30]