Предикат - равенство - Большая Энциклопедия Нефти и Газа, статья, страница 1
Если ты подберешь голодную собаку и сделаешь ее жизнь сытой, она никогда не укусит тебя. В этом принципиальная разница между собакой и человеком. (Марк Твен) Законы Мерфи (еще...)

Предикат - равенство

Cтраница 1


Предикат равенства сохраняется при всяком взаимно однозначном соответствии.  [1]

Роль обоих предикатов равенства и - будет различна. Слабое равенство будет служить операцией при построении частично-рекурсивных предикатов; мы вскоре увидим ( теорема XVII, фф.  [2]

Соединение по предикату равенства называется эквиооедвнени-ем. Исключив из последнего с помощью проекции повторяющиеся столбцы, мы получим так называемое естественное соединение связей.  [3]

Аксиомы I определяют предикат равенства.  [4]

Иногда даже удобно вычислять предикат равенства до вычисления обычного предиката в теле того же правила, чтобы использовать горизонтальное распространение информации ( гл.  [5]

Допустим, что мы используем предикат равенства для записи этой теоремы. Допустим также, что мы применяем обычные соглашения и используем х у, хфу и ( хоу) для обозначения литер ( А, у), - ( л:, у) и функции о ( л:, у) соответственно.  [6]

Заметим, что мы исключаем предикаты равенства путем подстановки констант в.  [7]

Когда для сравнения вещественных величин используется предикат равенства, нужно позаботиться о том, чтобы приближенное представление вещественных чисел не привело к непредсказуемым результатам.  [8]

Кроме того, в LDL поддерживаются предикаты равенства и неравенства и несколько арифметических предикатов.  [9]

Интерпретация этой сигнатуры называется нормальной, если предикат равенства интерпретируется как тождественное совпадение элементов носителя.  [10]

Для простоты мы снова предполагаем, что числовые переменные, а также символы для предиката равенства и для арифметической функции следования совпадают с употреблявшимися ранее. Эти несущественные Добавки к допущениям а) - в) в дальнейшем специально оговариваться не будут.  [11]

Уберите из доказательства леммы 12.3 многочисленные сложности, связанные с присутствием в Г термов, предиката равенства и других предикатных символов.  [12]

Ввиду того что исчисление предикатов позволяет оперировать с отдельными объектами ( переменными и константами), иногда полезно вводить предикат равенства между этими объектами, однако это не будет обязательным. Переменные, предикатные и функциональные константы обозначаются буквами или словами, иногда снабженными верхними и / или нижними индексами.  [13]

Пусть S (, 0, /, 0, ), где - бинарный предикатный символ ( аналог предиката равенства), 0 - 0-арный, / - унарный, 0 и - бинарные термальные символы.  [14]

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



Страницы:      1    2    3