Предикат разрешимый

Понятия вычислимой функции н разрешимого предиката будут использоваться и для функций (предикатов) от многих переменных. [c.20]

Далее, даже введя локальные соглашения, нельзя приписать интуитивному условию формальный статус категорного, если именная категория, определяемая из интуитивного условия, не является эффективно разрешимой. Например, нельзя в качестве субъекта вопроса Какие теоремы исчисления предикатов первого порядка содержат ровно четырнадцать символ()в ъ использовать выражение х — теорема исчисления предикатов первого порядка // х содержит ровно четырнадцать символов), так как кандидат на роль именной области — множество всех имен, и только имен (определенного вида), теорем исчисления предикатов первого порядка — не является разрешимым. [c.42]

Вычислимые функции и разрешимые предикаты. Каждая машина Тьюриига М вычисляет частичную функцию (рм нз Л в А, отображающую вход а в результат работы МТ иа входе а ири условии, что результат работы является словом во внешнем алфавите. Для входов, иа которых машина не останавливается илн результат содержит символы из <5 Л, функция 1рм ие определена. Пз определения ясно. [c.19]

Докажите, что существует разрешимый предикат, который принадлежит Р/ро1у, но не принадлежит Р. [c.29]

И ещё одно замечание по поводу обозначений мы использовали обозначение Р и для класса полиномиально вычислимых функций, и для класса полиномиально разрешимых предикатов теперь поступим апа-логичио, используя обозиачепия Р, NP и т.п. для классов частично определённых функций. [c.106]

Справочник химика 21

Химия и химическая технология