Cтраница 1
Высказывательные функции, относящиеся к отдельным событиям, связываются операциями булевой алгебры таким образом, чтобы полученная высказывательная функция описывала последовательность событий в процессе функционирования системы. Такое представление процесса функционирования системы может быть использовано для формального построения алгоритмов его моделирования на ЭВМ. [1]
Высказывательные функции находят весьма разнообразные применения при моделировании сложных систем. [2]
Над высказывательными функциями можно производить операции булевой алгебры, а также подставлять их вместо аргументов в булевы функции. [3]
Аналогично могут быть образованы высказывательные функции, зависящие как от предметных, так и от булевых переменных. Например, пусть xlt х % и ха - предметные переменные высказывательной функции А ( %, х2, х3), а х4 - булева переменная. [4]
Класс абстрактных систем, описываемых высказывательными функциями, оказывается более широким, чем класс систем, описываемых булевыми функциями, и включает последний как частный случай. [5]
Таким образом, для описания абстрактной системы при помощи высказывательных функций достаточно, чтобы конечными множествами были лишь множества Z и Y. Заметим, что на практике нередко встречаются весьма интересные применения высказывательных функций для моделирования систем и в тех случаях, когда множество состояний системы не является конечным, но для решения поставленных задач достаточно учитывать лишь конечное число некоторых так называемых особых состояний системы. [6]
Сразу же напрашивается обобщение, а именно распространение сказанного на высказывательные функции со многими переменными. [7]
В приложениях иногда пользуются описанием систем массового обслуживания при помощи высказывательных функций. [8]
Навешивание квантора по одной из предметных переменных на n - местную высказывательную функцию превращает ее в ( я - - местную высказывательную функцию, а одноместную высказывательную функцию - в высказывание. Переменная, по которой навешен квантор, называется связанной переменной, в отличие от остальных переменных, называемых свободными переменными. [9]
Высказывательные функции, относящиеся к отдельным событиям, связываются операциями булевой алгебры таким образом, чтобы полученная высказывательная функция описывала последовательность событий в процессе функционирования системы. Такое представление процесса функционирования системы может быть использовано для формального построения алгоритмов его моделирования на ЭВМ. [10]
Навешивание квантора по одной из предметных переменных на n - местную высказывательную функцию превращает ее в ( я - - местную высказывательную функцию, а одноместную высказывательную функцию - в высказывание. Переменная, по которой навешен квантор, называется связанной переменной, в отличие от остальных переменных, называемых свободными переменными. [11]
Из сказанного выше ( см. § 4.1 и 4.2) следует, что для описания дискретных детерминистических систем могут быть использованы булевы и высказывательные функции. [12]
Навешивание квантора по одной из предметных переменных на n - местную высказывательную функцию превращает ее в ( я - - местную высказывательную функцию, а одноместную высказывательную функцию - в высказывание. Переменная, по которой навешен квантор, называется связанной переменной, в отличие от остальных переменных, называемых свободными переменными. [13]
В любом случае, когда предметная переменная, по которой наве шивается квантор, имеет конечное множество значений, квантор общности может быть заменен конъюнкцией значений высказывательной функции, соответствующих всем значениям переменной, и наоборот. [14]
Таким образом, для описания абстрактной системы при помощи высказывательных функций достаточно, чтобы конечными множествами были лишь множества Z и Y. Заметим, что на практике нередко встречаются весьма интересные применения высказывательных функций для моделирования систем и в тех случаях, когда множество состояний системы не является конечным, но для решения поставленных задач достаточно учитывать лишь конечное число некоторых так называемых особых состояний системы. [15]