Documente Academic
Documente Profesional
Documente Cultură
1+1=2
<>
oriunde
12
< >
strict inegalitate x < y nseamn c x este mai mic dect y. este mai mic dect, este mai mare dect, este mult mai mic dect, este mult mai x > y nseamn c x este mai mare dect y. x y nseamn c x mult mai mic dect y. x y nseamn c x mult
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 proporionalitate
3 4 i 5 5 5 4 and 5 5
adunare plus aritmetic reuniune disjunct A1 + A2 nseamn reuniunea disjunct a mulimilor A1 i A2. reuniunea disjunct ntre 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)} 4 + 6 nseamn suma lui 4 i 2+7=9 6
teoria mulimilor diferen minus aritmetic opusul 9 4 nseamn diferena dintre 9 i 4 83=5
(5) = 5
A B nseamn mulimea care conine toate elementele {1,2,4} {1,3,4} = {2} din A care nu sunt n B.
produs ori, nmulit cu aritmetic produs cartezian XY nseamn mulimea {1,2} {3,4} = {(1,3),(1,4), 3 4 nseamn produsul lui 3 7 8 = 56 i 4.
produsul cartezian ntre; produsul tuturor perechilor ordonate cu direct (2,3),(2,4)} primul element din X i al doilea element din Y. teoria mulimilor produs vectorial produs vectorial u v nseamn produsul cu vectorial al vectorilor u i v algebr vectorial mprire mprit la 6 3 sau 6/3 nseamn mprirea lui 6 la 3 2 4 = 0,5 12 / 4 = 3 (1,2,5) (3,4,1) = (22, 16, 2)
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 rdcina ptrat complex rdcina ptrat dac z = r exp(i) este reprezentat n coordonate polare, atunci z = r exp(i/2). (-1) = i
||
|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
4! = 1 2 3 4 = 24
X ~ D, nseamn c variabila X ~ N(0,1), distribuia aleatoare X are distribuia de normal standard probabilitate D.
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 logic lucru ca i sau poate avea sensul pentru funcii descris
propoziional
echivalen
non
O bar oblic ce taie un operator reprezint acelai logic lucru ca i "" scris n fa. propoziional conjuncie logic sau infimum ntro latice
(A) A x y (x = y)
Propoziia A B este adevrat dac A i B sunt ambele adevrate; altfel este fals.
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.
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.
x: P(x) nseamn c exist cel puin un x astfel nct P(x) este adevrat.
n N: n este par.
predicatelor cuantificator de unicitate exist un(o) ! x: P(x) nseamn c exist unic() ! n N: n + 5 = 2n. exact un x astfel nct P(x) 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
{,}
N = {0,1,2,...}
{:}
{x : P(x)} sau {x | P(x)} notaie de construcie a unei nseamn mulimea acelor x pentru care P(x) este mulimi adevrat. mulimea
elementelor cu proprietatea c
{|}
teoria mulimilor mulimea vid mulimea vid nseamn mulimea cu nici un element. {} este o notaie {n N : 1 < n2 < 4} = echivalent.
{}
teoria mulimilor
apartenen
aparine lui, este a S nseamn c a este un inclus n; nu aparine lui, nu element al mulimii S; a S este inclus n nseamn c a nu este un element al mulimii S. oriunde, teoria mulimilor submulime
(1/2)1 N 21 N
(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 A B B; R Q
A B nseamn c fiecare
include; este o supramulime element din B este i element al lui A. pentru; este supramulime a A B nseamn c A B lui dar A B. teoria mulimilor A B este echivalent cu B 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 f(x) nseamn 'f de x', sau valoarea lui f n elementul x. Dac f(x) := x2, atunci f(3) = 32 = 9.
set-theoretic complement diferena teoria mulimilor valoarea funciei de teoria mulimilor modificatori de preceden paranteze oriunde functie sgeat
()
Se efectueaz nti operaiile (8/4)/2 = 2/2 = 1, dar 8/(4/2) = 8/2 = 4. din paranteze. Let f: Z N be defined by
f:XY
o
f: X Y nseamn c funcia f transport elementele lui X f(x) := x2. teoria mulimilor n cele din Y. funcia compunere compus cu teoria mulimilor numere naturale fog e functia, fiind (fog)(x) = f(g(x)). if f(x) := 2x, i g(x) := x + 3, apoi (fog)(x) = 2(x + 3).
de ... la
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
pi
este un element al mulimii reale extinse i este mai mare infinitate limx0 1/|x| = ca orice alt numr real, fiin deseori ntalnit n limite numr matematice. este raportul dintre A = r este aria unui cerc cu
norma
lungimea cercului i geometrie diametrul su. Valorea lui euclidian este 3.1415.... norma lui; lungimea lui algebr liniar nsumare ||x|| este norma unui element x din spaiul vectorial normat.
pi
raza r
|| ||
k=14 k2 = 12 + 22 + 32 + 42 = 1 + 4 + 9 + 16 = 30
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 lui n 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 integrala de la ... semn dintre axa x i grficul pn la .... b x2 dx = b3/3; funciei lui f ntre x = a i x = 0 analiz b. matematic Nabla, gradient f (x1, , xn) este vectorul derivatelor pariale (df / dx1, Dac f (x,y,z) := 3xy + z, atunci f = (3y, 3x, 2z)
gradient
din 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 perpendicular M nseamn frontiera mulimii M {x : ||x|| 2} = {x : ||x|| = 2}
frontiera
Dac lm i mn atunci l || n.
x = nseamn c x este cel x : x = Elementul minimt mai mic element. lattice theory 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.
entailment
inference infers or is derived from x y means y is derived propositional from x. logic, predicate logic A B B A
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
G/H means the quotient of {0, a, 2a, b, b+a, b+2a} / {0, group G modulo its subgroup b} = {{0, b}, {a, b+a}, {2a, b+2a}} teoria grupurilor H. 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.
izomorfism
egal aproximativ este aproximativ x y nseamn x este egal cu aproximativ egal cu y oriunde 3.14159
, (|) <,> :
produs scalar produs scalar n spaiul euclidian 2 produsul scalar al vectorilor n cadrul spaiilor euclidiene x = (2, 3) i y = (1, 5) este: x, y = 2 1 + 3 5 = 13 se obinuete de a nota algebra liniar produsul scalar att prin (x,y) ct i prin xy. A:B = AijBij Pentru matrice se poate utiliza semnul :. i,j x,y nseamn produsul scalar al lui x i y.