Cтраница 2
Уравнения, неравенства, системы уравнений и неравенств являются примерами предикатов. Решением уравнения ( неравенства, системы) является множество значений переменных, при которых предикат истинен - область истинности предиката. [16]
Следующая отличительная особенность архитектуры IA-64 - наличие в команде поля предикации, которое указывает, какой из 64 однобитных регистров предиката определяет, нужно ли выполнять соответствующую инструкцию. Это позволяет реализовать новый способ организации условных переходов и от многих их них избавиться: выполнение каждой команды условно, хотя при этом команда действительно выполняется. Однако когда приходит время загрузки в выходной регистр, проверяется истинность предиката. Если его значение истинно, то запись в выходной регистр производится, если значение ложно, то нет. [17]
Если х е X влечет х е У, и U влечет и е V, а значения истинности предиката К на упорядоченных тройках элементов ( х, и, у), где х, у е X, и /, совпадают со значениями Р на тех же тройках элементов, то говорят, что граф G включается в граф Я, а граф Я содержит граф О, и пишут G s Я. [18]
Исчислением, или дедуктивной системой, называют формальную систему, в которой существует некоторое множество исходных объектов ( аксиом) и некоторое множество правил построения ( правил вывода) новых объектов из исходных и вновь построенных. Заметим, что в исчислениях ( в отличие от алгоритмов) порядок применения правил вывода ( ПВ) может быть произвольным. Как было отмечено ранее, в исчислении предикатов основным объектом является переменное высказывание, или логическая функция - предикат, истинность или ложность которого зависит от значений входящих в него переменных. Так, истинность предиката является химический аппарат зависит от значения переменной X. Если X - это реактор, то предикат истинен, если X - компрессор, то он ложен. [19]
Отправным понятием теории схем программ является понятие функциональной эквивалентности. Две схемы функционально а к в и в а л е н т и ы, если для любой интерпретации соответствующие программы вычисляют одинаковые функции. Если известны значения истинности предикатов, входящих в программу, то протокол по этим значениям строится однозначно, при этом для построения но нужно знать интерпретации базовых операций. Дие схемы формально эквивалентны, если их детерминанты совпадают. Формальная эквивалентность корректна, если из нее следует функциональная эквивалентность. Поскольку детерминант строится чисто комбинаторно на основе произвольного выбора из конечною множества, он образует формальный язык, воспринимаемый нек-рым автоматом. [20]
Xk - Рассмотрим произвольную формулу / з, все параметры которой содержатся в списке Xi... Все предикаты, которые можно получить таким способом, называются выразимыми. Ясно, что конкретный выбор списка переменных роли не играет. Соответствующие им подмножества множества Mk ( области истинности выразимых предикатов) также называют выразимыми. [21]