Предикаты конечного порядка

Теорема 4.0. Существуют такие предикаты первого порядка Ф1 и фг, что ф1 А ф2 и Vф2 не являются предикатами конечного порядка. [Стр.64]

Тогда порядок предиката ф равен 2, а предикат Фв контексте не имеет конечного порядка. [Стр.113]

В 1.4 мы уже показали, что фг — предикат порядка 2 для всякого / г при / > 10. Для Я1,. .., Яд порядок этого предиката равен нулю (тривиально). Таким образом, предикатная схема Фдесять имеет конечный порядок, а именно 2. [Стр.40]

Доказательство. Доказательство подобно предыдущему, за тем исключением, что блоки , или горизонтальные линии, изгибаются в квадраты и располагаются без перекрытий на большей сетчатке. Можно показать, что сам предикат ф имеет конечный порядок, в данном случае 3. [Стр.114]

Предположим, что X — фигура на / , состоящая из конечного числа 1X1 точек. Спрашивается, конечен ли порядок предиката... [Стр.119]

Доказательство. Предоставляем читателю доказать в качестве упражнения, что порядок предиката ф равен 2. Чтобы показать, что предикат Фв контексте не имеет конечного порядка,... [Стр.113]

Теорема 5.9. Все топологически инвариантные предикаты конечного порядка являются функциями от эйлеровой характеристики Е(Х). [Стр.94]

Из теоремы 5.9, таким образом, следует, что никакой предикат конечного порядка не в состоянии отличить фигуру, содержащую внутри себя другую фигуру (левый рисунок), от фигуры, не содержащей других (правый рисунок). [Стр.97]

Мы предполагаем, что предикаты типа близнецов из 7.5 не являются предикатами конечного порядка с ограниченными коэффициентами. Во всяком случае было бы интересно узнать, существуют ли вообще такие предикаты. [Стр.128]

Система без петель и с ограниченным порядком в каждом слое может вычислять только предикаты конечного порядка. [Стр.229]

Предикаты конечного порядка

Поиск по сайту

Поделиться

Навигация

Справочник о здоровье человека

Предикаты конечного порядка

Поиск по сайту

Поделиться

Навигация