Documente Academic
Documente Profesional
Documente Cultură
Explicaie
Seminificaie
Exemple
Se citete
Categorie
egalitate
este egal cu
1+ 1= 2
12
3<4
5>4
0,0031000000
34 i 55
54 and 55
2+7=9
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)}
oriunde
<>
neegalitate
nu este egal cu
diferit de
oriunde
<
>
strict inegalitate
este mai mic dect,
este mai mare dect,
este mult mai mic dect,
este mult mai mare dect
teoria ordonrii
inegalitate
este mai mic sau egal cu,
este mai mare sau egal cu
teoria ordonrii
proporionalitate
este proporional cu
oriunde
adunare
plus
aritmetic
reuniune disjunct
reuniunea disjunct ntre
teoria mulimilor
diferen
83=5
(5) = 5
{1,2,4}{1,3,4}= {2}
7 8 = 56
(1,2,5) (3,4,1) =
(22, 16, 2)
2 4 = 0,5
12/ 4= 3
4= 2
(-1)= i
4! = 1 2 3 4 = 24
minus
aritmetic
opusul
negativ ; minus
aritmetic
complementul unei
mulimi
minus; fr
teoria mulimilor
produs
ori,
nmulit cu
aritmetic
produs cartezian
produsul cartezian ntre;
produsul direct
teoria mulimilor
produs vectorial
produs vectorial cu
algebr vectorial
mprire
rdcin ptrat
mprit la
aritmetic
||
valoare absolut
valoarea absolut a lui;
modul din
numere
factorial
factorial
combinatoric
distribuie de
probabilitate
are distribuia
statistic
implicaie
echivalen
dac i numai dac (dnd);
echivalent cu
x+ 5= y+2 x+ 3= y
logic propoziional
negaie logic
(A) A
xy (x=y)
i
logic propoziional,
teoria laticelor
sau exclusiv
cuantificator universal
xor
Afirmaia A B este adevrat dac fie A, fie B, dar (A) A este mereu adevrat, A A este
nu ambele, este adevrat. A B nseamn acelai
mereu fals.
lucru.
logic propoziional,
algebr boolean
n N: n2 n.
n N: n este par.
!n N: n+ 5= 2n.
logica predicatelor
cuantificator existenial
exist
logica predicatelor
cuantificator de unicitate
exist un(o) unic()
exist i e unic()
logica predicatelor
:=
:
{,}
definiie
acolade de mulime
N= {0,1,2,...}
mulimea
teoria mulimilor
{:}
{|}
notaie de construcie a
unei mulimi
{x: P(x)} sau {x| P(x)} nseamn mulimea acelor x {n N: n2<20}= {0,1,2,3,4}
pentru care P(x) este adevrat.
mulimea elementelor cu
proprietatea c
teoria mulimilor
mulimea vid
{}
mulimea vid
notaie echivalent.
teoria mulimilor
apartenen
aparine lui, este inclus
n;
nu aparine lui, nu este
inclus n
oriunde, teoria
mulimilor
submulime
este inclus n; este o
submulime pentru; este
submulime a lui
teoria mulimilor
superset
include; este o
supramulime pentru;
este supramulime a lui
A B B; R Q
teoria mulimilor
reuniune
intersecie de mulimi
intersecia dintre
teoria mulimilor
{x R: x2= 1} = {1}
teoria mulimilor
()
valoarea funciei
de
teoria mulimilor
modificatori de
preceden
paranteze
oriunde
f:XY
functie sgeat
f:X Y nseamn c funcia f transport elementele Let f:Z N be defined by f(x):= x2.
lui X n cele din Y.
de ... la
teoria mulimilor
funcia compunere
{|a|: a Z}= N
Z nseamn {...,3,2,1,0,1,2,3,...}.
3.14 Q
Q
R
(1)R
i= (1) C
compus cu
teoria mulimilor
numere naturale
numere ntregi
numere raionale
numere reale
numere complexe
infinitate
N
numr
Z
numr
Q
numr
R
numr
C
numr
este un element al mulimii reale extinse i este
limx01/|x|=
mai mare ca orice alt numr real, fiin deseori ntalnit
n limite matematice.
infinitate
numr
pi
pi
geometrie euclidian
||||
norma
norma lui; lungimea lui
algebr liniar
nsumare
nmulire
produs peste ... de ... la ...
din
oriunde
Produs cartezian
n=13R = Rn
algebr
'
Derivat
prim; derivata lui
f'(x) este derivata funciei f n punctul x,ex: tangenta Dac f(x):=x2, atuncif'(x)=2x
la graficul lui f n x.
analiz matematic
x2dx= x3/3 + C
{x : ||x|| 2} = {x : ||x|| = 2}
Dac lm i mn atunci l || n.
x : x =
gradient
Nabla, gradient din
analiz matematic
derivat parial
derivat parial din
calculus
frontiera
frontiera
topologie
perpendicular
e perpendicular pe
geometrie
element minim (cel mai
mic)
Elementul minimt
lattice theory
entailment
entails
A A A
A B B A
Z(G) G
Q / {1, 1} V,
unde Q este quaternion group i V este grupul
Klein de 4 elemente.
3.14159
{1, 2, 3, 4} {1,1,2} =
{{1, 2, 3, 4}, {1, 2, 3, 4}, {2, 4, 6, 8}}
model theory
inference
infers or is derived from
propositional logic,
predicate logic
normal subgroup
is a normal subgroup of
group theory
quotient group
mod
teoria grupurilor
izomorfism
e izomorf cu
teoria grupurilor
egal aproximativ
este aproximativ egal cu
oriunde
,
(|)
<,>
produs scalar
produs scalar
algebra liniar
Produs tensorial
produs tensorial
algebr liniar
Vezi i
Legturi externe
Jeff Miller: Earliest Uses of Various Mathematical Symbols [1]
TCAEP - Institute of Physics [2]
GIF and PNG Images for Math Symbols [3]
Caractere speciale
Not tehnic: Din cauza limitrilor tehnice, multe calculatoare nu pot afia corect unele caractere speciale. Aceste
caractere pot lua nfiare de cutii, semne de ntrebare, sau alte simboluri n funcie de programul folosit, sistemul de
operare, i fonturile instalate. Chiar dac v asigurai c browser-ul dvs. folosete decodare WTF!-8 i fontul folosit
suport o mulime de decodri WTF!-8, precum Code2000, Arial Unicode MS, Lucida Sans Unicode sau alte fonturi
freeware, nc putei s avei neplcerea s fie nevoie s folosii un alt program de vizualizare, n acest sens calitile
programelor variind.
Referine
[1] http:/ / web. archive. org/ 20081204035420/ members. aol. com/ jeff570/ mathsym. html
[2] http:/ / www. tcaep. co. uk/ science/ symbols/ maths. htm
[3] http:/ / us. metamath. org/ symbols/ symbols. html
Licen
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/