Professional Documents
Culture Documents
Simbol
Se citete
Explicaie
Exemple
Categorie
egalitate
este egal cu
1+1=2
oriunde
neegalitate
<>
oriunde
12
< >
strict inegalitate x < y nseamn c x este mai mic dect y. este mai mic dect, este mai mare x y nseamn c x mult mai dect, este mult mai mic mic dect y. x > y nseamn c x este mai mare dect y. 3<4 5>4 0,003 1000000
teoria ordonrii
inegalitate
x y nseamn c x este mai este mai mic sau mic sau egal cu y. egal cu, este mai mare sau x y nseamn c x este mai egal cu mare sau egal cu y. teoria ordonrii
3 4 i 5 5 5 4 and 5 5
proporionalitate
oriunde
plus
aritmetic
disjunct ntre
teoria mulimilor
minus
aritmetic
opusul
negativ ; minus
(5) = 5
aritmetic
complementul unei mulimi minus; fr A B nseamn mulimea care conine toate elementele {1,2,4} {1,3,4} = {2} din A care nu sunt n B.
teoria mulimilor
produs
ori, nmulit cu
aritmetic
produs cartezian XY nseamn mulimea produsul cartezian tuturor perechilor ordonate cu {1,2} {3,4} = ntre; produsul {(1,3),(1,4),(2,3),(2,4)} primul element din X i al direct doilea element din Y. teoria mulimilor
produs vectorial produs vectorial u v nseamn produsul cu vectorial al vectorilor u i v algebr vectorial
mprire
2 4 = 0,5 12 / 4 = 3
aritmetic
rdcin ptrat
rdcina ptrat a x nseamn numrul pozitiv lui; radicalul de 4 = 2 al crui ptrat este x. ordin doi din
numere reale
(-1) = i
numere complexe
valoare absolut |x| nseamn distana pe axa valoarea absolut |3| = 3, |-5| = |5| real (sau n planul complex) a lui; modul din |i| = 1, |3+4i| = 5 dintre x i zero. numere
||
factorial
factorial
4! = 1 2 3 4 = 24
combinatoric
distribuie de probabilitate
X ~ D, nseamn c variabila X ~ N(0,1), distribuia normal aleatoare X are distribuia de standard probabilitate D.
implicaie
A B nseamn c dac A este adevrat, atunci i B este adevrat; n caz c A este fals, nu se poate spune nimic despre B.
x = 2 x2 = 4 este adevrat, dar x2 = 4 x = 2 este n general fals (deoarece x poate fi 2, dac domeniul studiat permite).
poate nsemna acelai lucru ca i sau poate avea sensul pentru funcii descris logic mai jos. propoziional poate nsemna acelai lucru ca i sau poate avea sensul de supramulime descris mai jos.
echivalen
logic propoziional
negaie logic
non
O bar oblic ce taie un operator reprezint acelai logic lucru ca i "" scris n fa. propoziional
(A) A x y (x = y)
i logic propoziional,
Propoziia A B este adevrat dac A i B sunt ambele adevrate; altfel este fals.
teoria laticelor
sau
Propoziia A B este adevrat dac A sau B (sau n 4 n 2 n 3 dac n ambele) sunt adevrate; altfel este numr natural. este fals.
sau exclusiv
Afirmaia A B este adevrat dac fie A, fie B, dar nu ambele, este adevrat. A B nseamn logic acelai lucru. propoziional, algebr boolean xor
cuantificator universal
n N: n2 n.
logica predicatelor
cuantificator existenial
x: P(x) nseamn c exist cel puin un x astfel nct P(x) este adevrat.
n N: n este par.
exist
logica predicatelor
cuantificator de unicitate exist un(o) ! x: P(x) nseamn c exist unic() exact un x astfel nct P(x) ! n N: n + 5 = 2n. exist i e unic() este adevrat.
logica predicatelor
:= :
definiie
se definete ca
x := y sau x y nseamn c x este definit ca un alt nume pentru y (de observat c cosh x := (1/2)(exp x + poate avea i alte sensuri, exp (x)) precum congruen).
A XOR B : P : Q nseamn c P este (A B) (A B) definit astfel nct, din punct oriunde de vedere logic, este echivalent cu Q.
acolade de mulime
{,}
mulimea
N = {0,1,2,...}
teoria mulimilor
{:}
notaie de {x : P(x)} sau {x | P(x)} construcie a unei nseamn mulimea acelor x mulimi pentru care P(x) este
adevrat.
{|}
teoria mulimilor
mulimea vid nseamn mulimea cu nici un element. {} este o notaie {n N : 1 < n2 < 4} = echivalent.
mulimea vid
{}
teoria mulimilor
apartenen
aparine lui, este a S nseamn c a este un (1/2)1 N inclus n; nu aparine lui, nu element al mulimii S; a S este inclus n nseamn c a nu este un 21 N element al mulimii S. oriunde, teoria mulimilor
submulime
(submulime) A B este inclus n; nseamn c fiecare element este o submulime din A este i element al lui B. A B A; Q R pentru; este submulime a lui (submulime proprie) A B nseamn c A B dar A B. teoria mulimilor
superset
include; este o supramulime A B nseamn c A B dar A B B; R Q pentru; este supramulime a A B. lui A B este echivalent cu B teoria mulimilor A, A B este echivalent cu B A. reuniune Reuniune exclusiv (vezi i reuniunea ntre diferen simetric): A B nseamn mulimea care conine toate elementele lui A, i toate elementele lui B, dar nu i elementele lor AB AB=B comune. "A sau B, dar nu amndou". A B = {x | x A x B)} teoria mulimilor Reuniune inclusiv: A B nseamn mulimea care conine toate elementele lui A, i toate elementele lui B. "A sau B sau amndou".
intersecie de mulimi
A B nseamn mulimea ce conine elementele comune {x R : x2 = 1} = {1} intersecia dintre din A i B teoria mulimilor A \ B nseamn mulimea ce conine elementele pe care A {1,2,3,4} \ {3,4,5,6} = {1,2} le are n plus fa de B
()
Se efectueaz nti operaiile (8/4)/2 = 2/2 = 1, dar 8/(4/2) = 8/2 = 4. din paranteze.
functie sgeat
f:XY
o
f: X Y nseamn c funcia Let f: Z N be defined by de ... la f transport elementele lui X f(x) := x2. n cele din Y. teoria mulimilor fog e functia, fiind (fog)(x) = f(g(x)). if f(x) := 2x, i g(x) := x + 3, apoi (fog)(x) = 2(x + 3).
N Z Q R C
N nseamn {0,1,2,3,...}, dar a se vedea i numere naturale {|a| : a Z} = N numr pentru o alt convenie.
numere ntregi Z numr numere raionale Q numr numere reale R numr numere complexe C numr infinitate C nseamn {a + bi : a,b R}. i = (1) C R nseamn setul de numere reale. R (1) R Q nseamn {p/q : p,q Z, q 0}. 3.14 Q Q Z nseamn {...,3,2,1,0,1,2,3,...}. {a : |a| N} = Z
este un element al mulimii reale extinse i este mai mare infinitate limx0 1/|x| = ca orice alt numr real, fiin numr deseori ntalnit n limite
matematice. pi
norma
este raportul dintre pi lungimea cercului i geometrie diametrul su. Valorea lui euclidian este 3.1415.... norma lui; lungimea lui algebr liniar
|| ||
||x|| este norma unui element x ||x+y|| ||x|| + ||y|| din spaiul vectorial normat.
nsumare sum peste ... de k=1n ak nseamn a1 + a2 + ... la ... din ... + an. oriunde nmulire produs peste ... de k=1n ak nseamn a1a2an. ... la ... din k=14 (k + 2) = (1 + 2)(2 + 2)(3 + 2)(4 + 2) = 3 4 5 6 = 360 k=14 k2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30
oriunde Produs cartezian produsul cartezian i=0nYi nseamn setul tuturor dintre; produsul n=13R = Rn (n+1)-uplurilor (y0,...,yn). direct dintre algebr Derivat prim; derivata f '(x) este derivata funciei f n lui Dac f(x) := x2, atuncif '(x) = 2x punctul x,ex: tangenta la analiz graficul lui f n x. matematic Integrala nedefinit sau antiderivat
'
f(x) dx nseamn o funcie a 2 x dx = x3/3 + C integral crui derivat e f. nedefinit din ; calculus
Integrala definit ab f(x) dx nseamn aria cu 0b x2 dx = b3/3; integrala de la ... semn dintre axa x i grficul funciei lui f ntre x = a i x = pn la ....
analiz b. matematic gradient Nabla, gradient din f (x1, , xn) este vectorul derivatelor pariale (df / dx1, analiz , df / dxn). matematic
derivat parial
Cu f (x1, , xn), f/xi este derivat parial derivata lui f n funcie de xi, dac f(x,y) := x2y, atunci f/x celelalte variabile pstrndu- = 2xy din calculus se constante. frontiera topologie M nseamn frontiera mulimii M {x : ||x|| 2} = {x : ||x|| = 2}
frontiera
perpendicular
x y nseamn x este e perpendicular pe perpendicular pe y; sau mai geometrie general x e ortogonal pe y. x = nseamn c x este cel Elementul minimt mai mic element. lattice theory
Dac lm i mn atunci l || n.
x : x =
entailment
A B means the sentence A entails the sentence B, that is entails A A A every model in which A is model theory true, B is also true.
inference infers or is derived from x y means y is derived from A B B A propositional x. logic, predicate logic
normal subgroup <div style="fontis a normal N G means that N is a Z(G) G size:200%;"> subgroup of normal subgroup of group G. group theory
quotient group
group G modulo its subgroup b} = {{0, b}, {a, b+a}, {2a, b+2a}} teoria grupurilor H. izomorfism Q / {1, 1} V, G H nseamn c grupul G unde Q este quaternion group e izomorf cu e izomorf cu grupul H i V este grupul Klein de 4 teoria grupurilor elemente.
mod
, (|) <,> :
egal aproximativ este aproximativ x y nseamn x este egal cu aproximativ egal cu y oriunde produs scalar produs scalar n spaiul euclidian 2 produsul scalar al vectorilor x = (2, 3) i y = (1, 5) este: n cadrul spaiilor euclidiene x, y = 2 1 + 3 5 = 13 algebra liniar se obinuete de a nota produsul scalar att prin (x,y) A:B = AijBij ct i prin xy. Pentru matrice se poate i,j utiliza semnul :. x,y nseamn produsul scalar al lui x i y. 3.14159