Алгебра. Аналитическая геометрия. Матвеев В.Н. - 15 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

15
1.4.2. ПОРЯДОК ВЫПОЛНЕНИЯ ОПЕРАЦИЙ
Математические выражения значительно сокращаются, если при-
держиваться общепринятого порядка выполнения операций (табл. 1.2).
1.2. Приоритетность выполнения логических операций
Операция Приоритет Название операции
⌐
Первый
(высший)
Отрицание
(
)
∧&
Второй
Логическое умножение – конъюнкция
⊕∨,
Третий
Логическое сложение: слабое – дизъюнкция,
сильное – сложение по модулю 2 или
неэквивалентность
(
)
(
)
⇐
←
→
⇒
,
Четвёртый
Условия необходимости и достаточности
(
)
≡⇔,~
Пятый
Эквивалентность
Примеч ание
. Операции равного приоритета выполняются первоначально
слева направо. Выражение, заключённое в скобки, перед выполнением вычисля-
ется как отдельный операнд. При наличии вложенных скобок вычисления вы-
полняются, начиная с самых внутренних.
1.4.3. ОСОБЕННОСТИ ПРИМЕНЕНИЯ КВАНТОРОВ
В математической формализации квантор – это операция, приме-
няющаяся к некоторым переменным подкванторного выражения и даю-
щая в результате выражение, от этих переменных не зависящее, т.е. свя-
зывая эти переменные. Операция применения квантора к некоторому вы-
ражению, называется операцией навешивания квантора.
Замечание. Переменные подкванторного выражения, не связанные
каким-либо квантором, называются свободными, а связанными называют-
ся переменные, связанные каким-либо квантором.
Кванторы суммирования и произведения
∏
∑
=
=
n
i
i
n
i
i
aa
1
1
;
связывают
переменную
i
, заставляя её пробежать все натуральные числа от 1 до
n
,
i
a
– подкванторное выражение.

Страницы