Seminificaie

Simbol

Se citete

Explicaie

Exemple

Categorie

egalitate

este egal cu

x = y nseamn x i y repr ezint acelai lucru sau 1 + 1 = 2 au aceeai valoare.

oriunde

neegalitate

<> < >

nu este egal cu diferit de

x y nseamn c x i y nu reprezint acelai lucru sau nu au aceeai valoare.

12

oriunde

strict inegalitate

x < y nseamn c x este mai mic dect y. x > y nseamn c x este mai mare dect y. 3<4 5>4 x y nseamn c x mult 0,003 1000000 mai mic dect y.

este mai mic dect, este mai mare dect, este mult mai mic dect, este mult mai mare dect

x y nseamn c x mult teoria ordonrii mai mare dect y.

inegalitate

x y nseamn c x este este mai mic sau mai mic sau egal cu y. 3 4 i 5 5 egal cu, este mai mare sau 5 4 and 5 5 x y nseamn c x este egal cu mai mare sau egal cu y. teoria ordonrii

proporionalitate

y x nseamn este proporional cu c y = kx pentru o constant k. oriunde

dac y = 2x, atunci y x

adunare 4 + 6 nseamn suma lui 2+7=9 4 i 6

plus

aritmetic

reuniune disjunct A1 + A2 nseamn reuniunea disjunct reuniunea disjunct a ntre mulimilor A1 iA2. teoria mulimilor A1={1,2,3,4} A2={2,4,5,7} A1 + A2 = {(1,1), (2,1), (3,1), (4,1), (2,2), (4,2), (5,2), (7,2)}

diferen

9 4 nseamn diferena 8 3 = 5

minus dintre 9 i 4 aritmetic

opusul

negativ ; minus

3 nseamn opusul lui 3. (5) = 5

aritmetic

complementul unei mulimi

minus; fr

A B nseamn mulimea care conine toate {1,2,4} {1,3,4} = {2} elementele din A care nu sunt n B.

teoria mulimilor

produs

ori, nmulit cu

3 4 nseamn produsul 7 8 = 56 lui 3 i 4.

aritmetic

produs cartezian

{1,2} {3,4} = {(1,3),(1,4), tuturor perechilor (2,3),(2,4)} produsul cartezian ordonate cu primul ntre; produsul direct element din X i al doilea

XY nseamn mulimea

teoria mulimilor element din Y. produs vectorial u v nseamn produsul (1,2,5) (3,4,1) = produs vectorial cu vectorial (22, 16, 2) al vectorilor u i v algebr vectorial

mprire 6 3 sau 6/3 nseamn mprirea lui 6 la 3 2 4 = 0,5 12 / 4 = 3

mprit la

aritmetic

rdcin ptrat

rdcina ptrat a x nseamn numrul lui; radicalul de ordin pozitiv al crui ptrat doi din este x.

4 = 2

numere reale

rdcina ptrat complex dac z = r exp(i) este reprezentat n coordonate (-1) = i polare, atunci z = r exp(i/2).

rdcina ptrat complex a lui

numere complexe

valoare absolut |x| nseamn distana pe valoarea absolut a |3| = 3, |-5| = |5| axa real (sau n planul lui; modul din |i| = 1, |3+4i| = 5 complex) dintre x i zero. numere

||

factorial

factorial

n! este produsul 12...n.

4! = 1 2 3 4 = 24

combinatoric

distribuie de probabilitate X ~ D, nseamn X ~ N(0,1), distribuia c variabila aleatoare X are distribuia normal standard de probabilitate D. statistic

are distribuia

implicaie

implic; dac .. atunci

A B nseamn c dac A este adevrat, atunci i Beste adevrat;

logic propoziional

2 n caz c A este fals, nu x = 2 x = 4 este adevrat, dar x2 = 4 se poate spune nimic x = 2 este n general despre B. fals (deoarece xpoate fi poate nsemna acelai 2, dac domeniul lucru ca i sau poate studiat permite).

avea sensul pentru funcii descris mai jos.

 poate nsemna acelai lucru ca i sau poate avea sensul de echivalen

A B nseamn dac i numai dac c A i B au aceleai (dnd); echivalent cu valori de adevr. logic propoziional

x + 5 = y +2 x + 3 = y

negaie logic

non

Propoziia A este adevrat dac i numai dac A este fals. (A) A x y (x = y)

O bar oblic ce taie un operator reprezint logic propoziional acelai lucru ca i "" scris n fa.

conjuncie logic sauinfimum n tr-o latice

logic propoziional,teoria laticelor

Propoziia A B este adevrat n < 4 n >2 n = 3 dac A i B sunt ambele dac n estenumr adevrate; altfel este natural. fals.

disjuncie logic sausupremum ntr-olatice

Propoziia A B este adevrat n4 n2 n3 dac A sau B (sau dac n este numr ambele) sunt adevrate; natural. altfel este fals.

sau

logic propoziional,teoria laticelor

sau exclusiv

Afirmaia A B este adevrat dac fie A, fie (A) A este mereu B, dar nu ambele, este adevrat, A A este adevrat. A B nseam mereu fals. logic n acelai lucru. propoziional,algebr boolean xor

cuantificator universal x: P(x) nseamn P(x) este adevrat pentru toi x din domeniu.

oricare; pentru fiecare

n N: n2 n.

logica predicatelor

cuantificator existenial

x: P(x) nseamn c exist cel puin un x astfel n N: n este par. nctP(x) este adevrat.

exist

logica predicatelor

cuantificator de unicitate

! x: P(x) nseamn c exist un(o) unic() exist exact un x astfel ! n N: n + 5 = 2n. exist i e unic() nct P(x) 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 poate avea cosh x := (1/2)(exp x + i alte sensuri, exp (x)) precum congruen).

A XOR B : P : Q nseamn (A B) (A B) oriunde c P este definit astfel nct, din punct de vedere logic, este echivalent cu Q.

acolade de mulime

{,}

mulimea

{a,b,c}nseamn mulimea format din a, b i c.

N = {0,1,2,...}

teoria mulimilor

{:}

notaie de construcie a unei mulimi

{x : P(x)} sau {x | P(x)} nseamn mulimea acelor xpentru care P(x)

{n N : n2 < 20} = {0,1,2,3,4}

{|}

mulimea elementelor cu proprietatea c

este adevrat.

teoria mulimilor

mulimea vid nseamn mulimea cu nici un element. {} este o {n N : 1 < n2 < 4} = notaie echivalent.

mulimea vid

{}

teoria mulimilor

apartenen

aparine lui, este inclus n; nu aparine lui, nu este inclus n

a S nseamn c a este un element al

(1/2)1 N N

mulimii S; a S nseamn c a nu este un element 21 al mulimii S.

oriunde, teoria mulimilor

submulime

(submulime) A B nse

amn c fiecare element este inclus n; este din Aeste i element al o submulime 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 pentru; este A B nseamn supramulime a lui c A B dar A B.

A B nseamn c fiecare element din B este i element al lui A. A B B; R Q

A B este echivalent teoria mulimilor cu B A, A B este echivalent cu B A. reuniune reuniunea ntre Reuniune exclusiv (vezi i diferen

simetric): A Bnseamn 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 AB= teoria mulimilor amndou". {x | x A x B)} 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 intersecia dintre mulimea ce conine elementele comune teoria mulimilor din A i B set-theoretic complement

{x R : x2 = 1} = {1}

A \ B nseamn mulimea ce conine elementele pe {1,2,3,4} \ {3,4,5,6} = diferena careA le are n plus fa {1,2} teoria mulimilor de B f(x) nseamn 'f de x', sau Dac f(x) := x2,

valoarea funciei

valoarea lui f n teoria mulimilor elementul x.

de

atunci f(3) = 32 = 9.

()

modificatori de preceden paranteze oriunde

Se efectueaz nti (8/4)/2 = 2/2 = 1, dar 8/ operaiile din paranteze. (4/2) = 8/2 = 4.

f:X Y
o

functie sgeat de ... la

f: X Y nseamn c funcia f transport

elementele luiX n cele teoria mulimilor din Y. funcia compunere compus cu teoria mulimilor numere naturale

Let f: Z N be defined by f(x) := x2.

fog e functia, fiind (fog)(x) if f(x) := 2x, i g(x) := x + = f(g(x)). 3, apoi (fog)(x) = 2(x + 3).

N nseamn {0,1,2,3,...}, dar a se vedea i numere {|a| : a Z} = N naturale pentru o alt numr convenie.

numere ntregi

Z Q

Z numr numere raionale Q numr numere reale

Z nseamn {..., 3,2,1,0,1,2,3,...}.

{a : |a| N} = Z

Q nseamn {p/q : p,q Z, q 0}.

3.14 Q Q

R numr numere complexe

R nseamn setul de numere reale.

R (1) R i = (1) C

C nseamn

C
infinitate

C numr {a + bi : a,b R}.

pi

este un element al mulimii reale extinse i infinitate este mai mare ca orice alt limx0 1/|x| = numr real, fiin deseori numr ntalnit n limite matematice.

|| ||

este raportul dintre lungimea cercului i A = r este aria unui pi diametrul su. Valorea lui cerc cu raza r geometrie euclidian este 3.1415.... ||x|| este norma unui norma lui; lungimea element x din spaiul lui vectorial normat. algebr liniar

norma ||x+y|| ||x|| + ||y||

nsumare sum peste ... de ... k=1n ak nseamn a1 + a2 k=14 k2 = 12 + 22 + 32 + la ... din + ... + an. 42 = 1 + 4 + 9 + 16 = 30 oriunde nmulire k=14 (k + 2) = (1 + 2)(2 + produs peste ... de ... k=1n ak nseamn a1a2a 2)(3 + 2)(4 + 2) = 3 4 la ... din n. 5 6 = 360 oriunde Produs cartezian produsul cartezian i=0nYi nseamn setul dintre; produsul tuturor (n+1)-uplurilor direct dintre (y0,...,yn). algebr n=13R = Rn

'

Derivat

f '(x) este derivata Dac f(x) := x2, prim; derivata lui funciei f n punctul x,ex: atuncif '(x) = 2x

 analiz matematic tangenta la graficul lui f n x. Integrala nedefinitsau antiderivat f(x) dx nseamn o funcie a crui derivat

integral nedefinit e f. din ; calculus Integrala definit integrala de la ... pn la .... analiz matematic gradient

x2 dx = x3/3 + C

ab f(x) dx nseamn aria cu semn dintre axa x i grficul funciei lui f ntre x = a i x = b.

0b x2 dx = b3/3;

f (x1, , xn) este vectorul Dac f (x,y,z) := 3xy + z, Nabla, gradient din derivatelor pariale atunci f = (3y, 3x, 2z) ( df / dx 1, , df / dxn). analiz matematic

derivat parial

Cu f (x1, , xn), f/xi este 2 derivat parial din derivata lui f n funcie de dac f(x,y) := x y, atunci xi, celelalte variabile f/x = 2xy calculus pstrndu-se constante. M nseamn frontiera mulimii M {x : ||x|| 2} = {x : ||x|| = 2}

frontiera frontiera topologie perpendicular x y nseamn x este Dac lm i mn atunci e perpendicular pe perpendicular pe y; sau mai general x e ortogonal l || n. geometrie pe y.

element minim (cel mai mic) Elementul minimt lattice theory

x = nseamn c x este x : x = cel mai mic element.

entailment entails

A B means the sentence A entails the

A A A

model theory inference

sentence B, that is every model in which A is

infers or is derived x y means y is derived A B B A from from x. propositional logic,predicate logic

<div normal subgroup style="font is a normal subgroup N G means that N is a Z(G) G normal subgroup of of size:200% group G. group theory ;"> quotient group

G/H means the quotient mod of group G modulo its teoria grupurilor subgroupH.

{0, a, 2a, b, b+a, b+2a} / {0, b} = {{0, b}, {a, b+a}, {2a, b+2a}} Q / {1, 1} V, unde Q este quaternion group i V este grupul Klein de 4 elemente.

izomorfism

G H nseamn c e izomorf cu grupul G e izomorf cu teoria grupurilor grupul H

egal aproximativ este aproximativ egal cu oriunde x y nseamn x este aproximativ egal cu y 3.14159

, produs scalar (|) <,>

produs scalar

scalar al vectorilor x = (2, 3) n cadrul spaiilor euclidiene se obinuete i y = (1, 5) este: x, y = 2 1 + 3 5 algebra liniar de a nota produsul scalar = 13 att prin (x,y) ct i prin xy. Pentru matrice se poate utiliza semnul :. A:B =

x,y nseamn produsul scalar al lui x i y.

n spaiul euclidian 2 produsul

i,j

AijBij

Produs tensorial

{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}} algebr liniar