Documente Academic
Documente Profesional
Documente Cultură
Următorul tabel descrie multe simboluri speciale folosite des în matematică. Pentru codurile HTML ale
simbolurilor matematice, vezi coduri HTML matematice.
Seminificaț ie
Simbol Se citește Explicaț ie Exemple
Categorie
egalitate x = y înseamnă x și y
= este egal cu reprezintă același lucru
oriunde sau au aceeași valoare.
1+1=2
neegalitate
≠ nu este egal cu
x ≠ y înseamnă că x și y
nu reprezintă același lucru 1≠2
diferit de
<> oriunde
sau nu au aceeași valoare.
x ≫ y înseamnă că x mult
teoria ordonării mai mare decât y.
≫
≤ inegalitate x ≤ y înseamnă că x este
mai mic sau egal cu y.
este mai mic sau egal cu, 3 ≤ 4 și 5 ≤ 5
este mai mare sau egal cu 5 ≥ 4 and 5 ≥ 5
x ≥ y înseamnă că x este
≥ teoria ordonării mai mare sau egal cu y.
proporționalitate
∝ este proporțional cu
oriunde
y ∝ x înseamnă că y = kx
pentru o constantă k.
dacă y = 2x, atunci y ∝ x
adunare
4 + 6 înseamnă suma lui 4
plus 2+7=9
și 6
aritmetică
A1={1,2,3,4} ∧
+ reuniune disjunctă
A1 + A2 înseamnă A2={2,4,5,7} ⇒
reuniunea disjunctă între reuniunea disjunctă a A1 + A2 = {(1,1), (2,1),
mulțimilor A1 și A2. (3,1), (4,1), (2,2), (4,2),
teoria mulțimilor (5,2), (7,2)}
÷ împărțire
împărțit la
6 ÷ 3 sau 6/3 înseamnă
2 ÷ 4 = 0,5
împărțirea lui 6 la 3
/ aritmetică 12 / 4 = 3
rădăcină pătrată
√x înseamnă numărul
rădăcina pătrată a lui; radicalul
pozitiv al cărui pătrat este √4 = 2
de ordin doi din
x.
numere reale
√ rădăcina pătrată complexă dacă z = r exp(iφ) este
rădăcina pătrată complexă a lui reprezentat în coordonate √(-1) = i
polare, atunci √z = √r
numere complexe exp(iφ/2).
valoare absolută
|x| înseamnă distanța pe
valoarea absolută a lui; modul |3| = 3, |-5| = |5|
|| din
axa reală (sau în planul
complex) dintre x și zero.
|i| = 1, |3+4i| = 5
numere
factorial
n! este produsul
! factorial
combinatorică
1×2×...×n.
4! = 1 × 2 × 3 × 4 = 24
⇔ echivalență
A ⇔ B înseamnă că A și
dacă și numai dacă (dnd); B au aceleași valori de x + 5 = y +2 ⇔ x + 3 = y
echivalent cu adevăr.
↔ logică propozițională
Propoziția ¬A este
negație logică adevărată dacă și numai
¬ dacă A este falsă.
¬(¬A) ⇔ A
non O bară oblică ce taie un x ≠ y ⇔ ¬(x = y)
operator reprezintă
˜ logică propozițională același lucru ca și "¬"
scris în față.
conjuncție logică sau infimum
Propoziția A ∧ B este
într-o latice
adevărată dacă A și B sunt
∧ și
logică propozițională, teoria
ambele adevărate; altfel
n < 4 ∧ n >2 ⇔ n = 3
dacă n este număr natural.
este falsă.
laticelor
disjuncție logică sau Propoziția A ∨ B este
supremum într-o latice adevărată dacă A sau B
∨ sau (sau ambele) sunt
logică propozițională, teoria adevărate; altfel este
n≥4∨n≤2⇔n≠3
dacă n este număr natural.
laticelor falsă.
sau exclusiv Afirmația A ⊕ B este
⊕ adevărată dacă fie A, fie (¬A) ⊕ A este mereu
xor B, dar nu ambele, este adevărată, A ⊕ A este
⊻ adevărată. A ⊻ B
logică propozițională, algebră înseamnă același lucru.
mereu falsă.
booleană
∀ cuantificator universal
oricare; pentru fiecare
∀ x: P(x) înseamnă P(x)
este adevărată pentru toți
∀ n ∈ N: n2 ≥ n.
logica predicatelor x din domeniu.
cuantificator existențial ∃ x: P(x) înseamnă că
∃ există
există cel puțin un x
astfel încât P(x) este
∃ n ∈ N: n este par.
logica predicatelor adevărată.
cuantificator de unicitate
∃! x: P(x) înseamnă că
∃! există un(o) unic(ă)
există și e unic(ă)
există exact un x astfel
încât P(x) este adevărată.
∃! n ∈ N: n + 5 = 2n.
logica predicatelor
x := y sau x ≡ y înseamnă
:= definiție
că x este definit ca un alt
nume pentru y (de
observat că ≡ poate avea cosh x := (1/2)(exp x + exp
și alte sensuri, precum (−x))
≡ se definește ca
congruență).
A XOR B :⇔ (A ∨ B) ∧
P :⇔ Q înseamnă că P ¬(A ∧ B)
este definit astfel încât,
:⇔ oriunde din punct de vedere logic,
este echivalent cu Q.
acolade de mulțime {a,b,c}înseamnă
{,} mulțimea mulțimea formată din a,
teoria mulțimilor b și c.
N = {0,1,2,...}
mulțimea vidă
înseamnă mulțimea cu
nici un element. {} este o {n ∈ N : 1 < n2 < 4} =
mulțimea vidă
{} teoria mulțimilor
notație echivalentă.
a ∈ S înseamnă că a este
∈
apartenență
aparține lui, este inclus în; un element al mulțimii S; (1/2)−1 ∈ N
nu aparține lui, nu este inclus a S înseamnă că a nu
în este un element al 2−1 N
oriunde, teoria mulțimilor mulțimii S.
submulțime -(submulțime) A ⊆ B
⊆ este inclusă în; este o
înseamnă că fiecare
element din A este și
submulțime pentru; este element al lui B. A ∩ B ⊆ A; Q ⊂ R
submulțime a lui -(submulțime proprie) A
⊂ teoria mulțimilor ⊂ B înseamnă că A ⊆ B
dar A ≠ B.
⊇ superset A ⊇ B înseamnă că
fiecare element din B este
A ∪ B ⊇ B; R ⊃ Q
include; este o supramulțime și element al lui A.
pentru; este supramulțime a lui
A ⊃ B înseamnă că A ⊇
B dar A ≠ B.
⊃ teoria mulțimilor
A ⊇ B este echivalent cu
B ⊆ A, A ⊃ B este
echivalent cu B ⊂ A.
∪ reuniunea între
"A sau B, dar nu
amândouă". A ∪ B = {x | x ∈ A ∨ x
∈ B)}
Reuniune inclusivă: A ∪
B înseamnă mulțimea
care conține toate
teoria mulțimilor elementele lui A, și toate
elementele lui B.
"A sau B sau amândouă".
intersecție de mulțimi A ∩ B înseamnă
mulțimea ce conține {x ∈ R : x2 = 1} ∩ ℕ =
∩ intersecția dintre
elementele comune din A {1}
teoria mulțimilor și B
set-theoretic complement A \ B înseamnă mulțimea
ce conține elementele pe {1,2,3,4} \ {3,4,5,6} =
\ diferența
care A le are în plus față {1,2}
teoria mulțimilor de B
valoarea funcției f(x) înseamnă 'f de x', sau
Dacă f(x) := x2, atunci f(3)
de valoarea lui f în elementul
= 32 = 9.
x.
() teoria mulțimilor
modificatori de precedență
Se efectuează întâi (8/4)/2 = 2/2 = 1, dar 8/
paranteze
operațiile din paranteze. (4/2) = 8/2 = 4.
oriunde
functie săgeată f: X → Y înseamnă că
funcția f transportă Let f: Z → N be defined by
f:X→Y de ... la
teoria mulțimilor
elementele lui X în cele f(x) := x2.
din Y.
funcția compunere
fog e functia, fiind (fog)(x) if f(x) := 2x, și g(x) := x +
o compus cu
= f(g(x)). 3, apoi (fog)(x) = 2(x + 3).
teoria mulțimilor
N înseamnă {0,1,2,3,...}, {|a| : a ∈ Z} = N
N numere naturale
N dar a se vedea și numere
naturale pentru o altă
număr
convenție.
ℕ
Z numere întregi
Z
Z înseamnă {...,
{a : |a| ∈ N} = Z
−3,−2,−1,0,1,2,3,...}.
ℤ număr
Q numere raționale
Q înseamnă {p/q : p,q ∈
3.14 ∈ Q
Q Z, q ≠ 0}.
ℚ π∉Q
număr
R numere reale
R
R înseamnă setul de
π∈R
numere reale.
ℝ număr √(−1) ∉ R
C numere complexe
C
C înseamnă {a + bi : a,b
i = √(−1) ∈ C
∈ R}.
ℂ număr
infinitate ∞ este un element al
mulțimii reale extinse și
este mai mare ca orice alt
∞ infinitate
număr real, fiin deseori
limx→0 1/|x| = ∞
Însumare
∑k=1n ak înseamnă a1 + a2 ∑k=14 k2 = 12 + 22 + 32 + 42
∑ sumă peste ... de ... la ... din
oriunde
+ ... + an. = 1 + 4 + 9 + 16 = 30
Înmulțire ∏k=14 (k + 2) = (1 + 2)(2 +
∏k=1n ak înseamnă
produs peste ... de ... la ... din 2)(3 + 2)(4 + 2) = 3 × 4 × 5
a1a2···an.
oriunde × 6 = 360
∏ Produs cartezian
produsul cartezian dintre;
∏i=0nYi înseamnă setul
tuturor (n+1)-uplurilor ∏n=13R = Rn
produsul direct dintre
(y0,...,yn).
algebră
Derivată f '(x) este derivata
funcției f în punctul x,ex: Dacă f(x) := x2, atuncif '(x)
' … prim; derivata lui …
analiză matematică tangenta la graficul lui f = 2x
în x.
⊧
A entails the sentence B,
entails that is every model in A ⊧ A ∨ ¬A
which A is true, B is also
model theory true.
inference
:
{1, 2, 3, 4} ⊗ {1,1,2} =
⊗ V ⊗ U înseamnă produsul
Produs tensorial
{{1, 2, 3, 4}, {1, 2, 3, 4},
tensorial dintre V și U.
{2, 4, 6, 8}}