ВУЗ:
Составители:
Рубрика:
⊂
− включается, входит в состав, есть подмножество;
⊄
− не включается.
Например, запись
α
∈
∀
:Xx
означает, что «для любого числа
x
из
множества
X
выполняется (или имеет место) утверждение
α
»;
YyXx
∈
∃
∈
∀
− «для любого
x
, принадлежащего
X
, всегда найдётся
y
, принадлежащее
Y
».
Для облегчения чтения логических символов часто при их записи
пользуются разделительными скобками, например:
(
)
(
)
(
)
δ<−≠∀>δ∃>ε∀
00
xx;xx00 ,
(
)
ε<− Axf , т.е.
«Для любого
0
>
ε
существует
0
>
δ
такое, что для всех
x
, не равных
0
x и удовлетворяющих неравенству δ<−
0
xx , выполняется неравенство
(
)
ε<− Axf ». Другие символы:
β
⇒
α
− «из предложения
α
следует предложение
β
»;
β
⇔
α
− «предложения
α
и
β
равносильны», т.е. из
α
следует
β
и из
β
следует
α
;
α
− « не
α
», т.е. отрицание предложения
α
;
{
}
n1
x,...,xmaxx = −
x
есть максимальное из чисел
n1
x,...,x ;
{
}
n1
x,...,xminx = −
x
есть минимальное из чисел
n1
x,...,x ;
x
sgn
− знак
x
;
[
]
x − целая часть числа
x
;
y
x
→
−
x
отображается в
y
.
В математическом анализе часто встречается понятие абсолютной
величины числа и используются неравенства, связанные с абсолютными
величинами.
Абсолютной величиной x (или модулем) числа
x
называется число
x
, если
0x
≥
, или число -
x
, если
0x
<
;
Страницы
- « первая
- ‹ предыдущая
- …
- 8
- 9
- 10
- 11
- 12
- …
- следующая ›
- последняя »
