Smbolo Significado

+ Adio
- Subtrao
ou * ou Multiplicao
ou / Diviso
^ conjuno lgica
Radiciao
Mais ou menos
log Logaritmao
= Sinal de igual
Sentenciais
< Menor
> Maior
Maior ou igual
Menor ou igual
! congruente a
Apro"imadamente igual
Conjuntos !um"#icos
Smbolos Significado
#onjunto dos $%meros $aturais
#onjunto dos $%meros inteiros
#onjunto dos $%meros Racionais
#onjunto dos $%meros &rracionais
#onjunto dos $%meros Reais
#onjunto dos $%meros #omple"os
Smbolo Significado
' ou $ Derivada
(radiente
) &ntegral
* &n+inito
, Somatrio
- .rodutrio
% /nio
0 &nterseco
& 1atorial
'' Mdulo
smbolo
em
()*+
smbolo
em ) , -
!ome
,./lica01o ,.em/los +ido como
Catego#ia
2
&gualdade
3 igual a4
igual
5ual5uer
operao
signi+ica
e
representam a
mesma coisa ou
o mesmo valor
e so nomes
di+erentes para a
e"ata mesma
coisa6
7
&ne5uao
no 3 igual a4
no iguala
5ual5uer
operao
signi+ica
5ue e no
representam a
mesma coisa ou
o mesmo valor6
8As formas 92: ;2
ou <= so
geralmente
usadas em
programao
onde facilita a
digitao e so
preferidas no
uso do ASCII.>
<
=
Desigualdade
3 menor 5ue:
3 maior do 5ue
?eoria da
ordem
signi+ica
5ue 3 menor
5ue 6
signi+ica
5ue 3 maior
5ue 6
subgrupo
apropriado
3 um subgrupo
ade5uado de
?eoria dos
grupos

signi+ica 5ue
3 um subgrupo
ade5uado de 6
8/m subgrupo
apropriado de
um grupo ( 3
um subgrupo @:
5ue 3 um
subconjunto
apropriado de (
8isto 3:
>6>
enorme x y signi+ica A6AAAB BAAAAAA

Desigualdade
estrita
3 muito menor
5ue:
3 muito maior
5ue
?eoria da
ordem
5ue x 3 muito
menor 5ue y6
x y signi+ica
5ue x 3 muito
maior 5ue y6
#omparao
assinttica
3 de uma
ordem in+erior
a:
3 de uma
ordem superior
a
?eoria analCtica
dos n%meros
f g signi+ica
5ue o
crescimento de f
3
assintoticamente
delimitado por
g6
8Dsta 3 a notao
de & M
Einogradov6
Futra anotao 3
a notao
assinttica do
Gig F: 5ue se
parece com f 2
F8g>6>
x e
x

Desigualdade
3 menor ou
igual a:
3 maior ou
igual a
?eoria da
ordem
x y signi+ica
5ue x 3 menor
ou igual a y6
x y signi+ica
5ue x 3 maior ou
igual a y6
8As +ormas H<2H
e H=2H so
geralmente
utiliIado em
linguagens de
programao:
onde a +acilidade
de uso e de
digitao de
te"to AS#&& 3
pre+erido6>
J K e L L
L K e L L
Subgrupo
3 um subgrupo
de
?eoria dos
grupos
H G signi+ica
5ue H 3 um
subgrupo de G6
2 2
A
J
S
J
Reduo
3 redutCvel a
A B signi+a
5ue o problema
Se
#omple"idade
computacional
A pode ser
reduIido para o
problema B6
8 Subscritos
podem ser
adicionados M
para indicar 5ual
tipo de reduo6>

ento

Relao de
congruNncia
6663 in+erior a 666
3 maior do
5ue666
Aritm3tica
modular
Ok PQ 8mod P>
s 3 verdadeiro
se k 3 um inteiro
par6 SuponRa
5ue o problema
re5uer k ser noS
negativo: o
domCnio 3
de+inido como A
k *6
BAa L 8mod L> para B a BA
Smbolo !ome l3-se como Catego#ia
T
4di01o Mais Aritm3tica
K T U 2 BA signi+ica 5ue se se somar K a U: a soma: ou resultado: 3 BA6
D"emploV KJ T UL 2 BAQ4 P T O 2 W
S
Subt#a01o Menos Aritm3tica
W S K 2 L signi+ica 5ue se se subtrair K de W: o resultado serX L6 F sinal S 3 %nico por5ue
tamb3m denota 5ue um n%mero 3 negativo6 .or e"emplo: L T 8SJ> 2 P signi+ica 5ue se se
somar cinco e menos trNs: o resultado serX dois6
D"emploV QO S JU 2 LB

Y
&m/lica01o *ate#ial &mplica4 se 666 ento
Lgica
proposicional
A B signi+icaV se A +or verdadeiro ento B 3 tamb3m verdadeiro4 se A +or +also ento
nada 3 dito sobre B6
Y pode ter o mesmo signi+icado de : ou pode ter o signi+icado 5ue mencionamos mais
abai"o sobre as +unZes
x 2 P x[ 2 K 3 verdadeiro: mas x[ 2 K x 2 P 3 em geral +also 8visto 5ue x pode ser
\P>

]
e5ui6al3ncia mate#ial se e s se4 sse
lgica
proposicional
A B signi+icaV A 3 verdadeiro se B +or verdadeiro e A 3 +also se B 3 +also
x T L 2 y T P x T J 2 y
conjun01o l7gica e
lgica
proposicional
a proposio A B 3 verdadeira se A e B +oram ambos verdadeiros4 caso contrXrio: 3
+alsa
D"emploV n < K n = P n 2 J 5uando n 3 um n%mero natural

disjun01o l7gica ou
lgica
proposicional
a proposio A B 3 verdadeira se A ou B 8ou ambos> +orem verdadeiros4 se ambos
+orem +alsos: a proposio 3 +alsa
D"emploV n K n P n 7 J 5uando n 3 um n%mero natural
^
;
nega01o l7gica no
lgica
proposicional
a proposio ^A 3 verdadeira se e s se A +or +also
/ma barra colocada sobre outro operador tem o mesmo signi+icado 5ue H^H colocado M
sua +rente
D"emploV ^8A B> 8^ A> 8^ B>4 x S ^8x S>

5uantifica01o uni6e#sal para todos4 para 5ual5uer4 para cada lgica predicativa
xV P8x> signi+icaV P8x> 3 verdadeiro para todos os x
D"emploV n !V n[ n

5uantifica01o e.istencial e"iste lgica predicativa

xV P8x> signi+icaV e"iste pelo menos um x tal 5ue P8x> 3 verdadeiro
D"emploV n !V n T L 2 Pn
2
igualdade igual a todas
x 2 y signi+icaV x e y so nomes di+erentes para a e"ata mesma coisa
D"emploV B T P 2 U \ J
V2
V
defini01o 3 de+inido como todas
x V2 y signi+icaV x 3 de+inido como outro nome para y
P V signi+icaV P 3 de+inido como logicamente e5uivalente a
D"emploV cosR x V2 8B;P>8e"p x T e"p 8\x>>4 A _FR B V 8 A B> ^8 A B>
` : a
c8a6etas de conjunto o conjunto de 666 teoria de conjuntos
`a:!:ca signi+icaV o conjunto 5ue consiste de a: !: e c
D"emploV ! 2 `A:B:P:666a
` V a
` b a
nota01o de const#u01o de
conjuntos
o conjunto de 666 tal 5ue 666 teoria de conjuntos
`x V P8x>a signi+icaV o conjunto de todos os x: para os 5uais P8x> 3 verdadeiro6 `x b P8x>a
3 o mesmo 5ue `x V P8x>a6
D"emploV `n ! V n[ < PAa 2 `A:B:P:J:Ka

`a
conjunto 6a9io conjunto vaIio teoria de conjuntos
`a signi+icaV o conjunto sem elementos4 3 a mesma coisa
D"emploV `n ! V B < n[ < Ka 2 `a
/e#ten0a a conjunto em4 estX em4 3 um elemento de4 3 um teoria de conjuntos

membro de4 pertence a 4 e"iste em :

a S signi+icaV a 3 um elemento do conjunto S4 a S signi+icaV a no 3 um elemento de
S
D"emploV 8B;P>
\B
!4 P
\B
!

subconjunto 3 um subconjunto cprpriod de teoria de conjuntos

D"emploV A B signi+icaV cada elemento de A 3 tamb3m elemento de B 8A 3 um
subconjunto de B>
A B signi+icaV A B mas A 7 B 8A 3 um subconjunto prprio de B>
D"emploV A 0 B A4 : ;

uni1o te7#ica de conjuntos a unio de 666 com 6664 unio teoria de conjuntos
A B signi+icaV o conjunto 5ue cont3m todos os elementos de A e tamb3m todos os de
B: mas mais nenRuns
D"emploV A B A B 2 B
0
interseco terica de
conjuntos
intersecta com4 intersecta teoria de conjuntos
A 0 B signi+icaV o conjunto 5ue cont3m todos os elementos 5ue A e B tNm em comum
D"emploV `x ; V x[ 2 Ba 0 ! 2 `Ba
e
complemento terico de
conjuntos
menos4 sem4 e"cepto teoria de conjuntos
A e B signi+icaV o conjunto 5ue cont3m todos os elementos de A 5ue no esto em B
D"emploV `B:P:J:Ka e `J:K:L:Ua 2 `B:Pa
8 >
c d
` a
aplicao de +uno4
agrupamento
de teoria de conjuntos
para a aplicao de +unoV f8x> signi+icaV o valor da +uno f no elemento x
para o agrupamentoV e"ecute primeiro as operaZes dentro dos parNnteses
D"emploV Se f8x> V2 x[: ento f8J> 2 J[ 2 W4 8Q;K>;P 2 P;P 2 B: mas Q;8K;P> 2 Q;P 2 K
fV"Y#
seta de fun01o de 666 para +unZes
fV " Y # signi+icaV a +uno f mapeia o conjunto " no conjunto #
D"emploV #onsidere a +uno fV 2 Y ! de+inida por f8x> 2 x[
$
n<me#os natu#ais $ n%meros
! signi+icaV `B:P:J:666a
D"emploV `bab V a 2a 2 !
f
n<me#os intei#os f n%meros
2 signi+icaV `666:\J:\P:\B:A:B:P:J:666a
D"emploV `a V bab !a 2 2
g
n<me#os #acionais g n%meros
: signi+icaV `p;$ V p:$ 2: $ 7 Aa
J6BK :4 h :
R n<me#os #eais R n%meros
; signi+icaV `lim
nY*
a
n
V n !V a
n
:: o limite e"istea
h ;4 8\B> ;
#
n<me#os com/le.os # n%meros
C signi+icaV `a T !i V a:! ;a
i 2 8\B> C
<
=
com/a#a01o 3 menor 5ue: 3 maior 5ue
ordenaZes
parciais
x < y signi+icaV x 3 menor 5ue y4 x = y signi+icaV x 3 maior 5ue y
D"emploV x < y y = x

com/a#a01o 3 menor ou igual a: 3 maior ou igual a

ordenaZes
parciais
x y signi+icaV x 3 menor 5ue ou igual a y4 x y signi+icaV x 3 maior 5ue ou igual a y
D"emploV x B x[ x

#ai9 5uad#ada
a raiI 5uadrada principal de4 raiI
5uadrada
n%meros reais
x signi+icaV o n%mero positivo: cujo 5uadrado 3 x
D"emploV 8x[> 2 bxb
*
infinito in+inito n%meros
* 3 um elemento da linRa num3rica estendida 5ue 3 maior 5ue 5ual5uer n%mero real4
ocorre com +re5uNncia em limites
D"emploV lim
"YA
B;bxb 2 *
h
/i pi
geometria
euclidiana
h signi+icaV a raIo entre a circun+erNncia de um cCrculo e o seu diimetro
D"emploV A 2 hr[ 3 a Xrea de um cCrculo de raio r
9
facto#ial +actorial
anXlise
combinatria
n9 3 o produto BjPj666jn
D"emploV K9 2 PK
b b
6alo# absoluto valor absoluto de4 mdulo de n%meros
bxb signi+icaV a distincia no ei"o dos reais 8ou no plano comple"o> entre x e Iero
D"emploV bkkakk T kkbikkb 2 8a[ T ![>
bb bb
no#ma norma de4 comprimento de anXlise +uncional
bbxbb 3 a norma do elemento x de um espao vectorial
D"emploV bbkk"kkTkklkkbb bbkk"kkbb T bbkklkkbb
,
soma soma em 666 de 666 at3 666 de aritm3tica
,
k2B
n
a
k
signi+icaV a
B
T a
P
T 666 T a
n
D"emploV ,
k2B
K
k[ 2 B[ T P[ T J[ T K[ 2 B T K T W T BU 2 JA
-
/#oduto produto em 666 de 666 at3 666 de aritm3tica
-
k2B
n
a
k
signi+icaV a
B
a
P
mmma
n
D"emploV -
k2B
K
8k T P> 2 8B T P>8P T P>8J T P>8K T P> 2 J j K j L j U 2 JUA
)
integ#a01o
integral de 666 at3 666 de 666 em +uno
de
cXlculo
)
a
!
f8x> dx signi+icaV a Xrea entre o ei"o dos x e o grX+ico da +uno f entre x 2 a e x 2 !
)
A
!
"[ dx 2 !n;J4 )x[ dx 2 xn;J
f k
de#i6ada derivada de +4 primitiva de + cXlculo
f k8x> 3 a derivada da +uno f no ponto x: i6e6 o declive da tangente nesse ponto
e"emploV Se f8x> 2 x[: ento f k8x> 2 Px

g#adiente del: nabla: gradiente de cXlculo

f 8"
B
: o: "
n
> 3 o vector das derivadas parciais 8df ; dx
B
: o: df ; dx
n
>
D"emploV Se f 8x:y:%> 2 Jxy T %[ ento f 2 8Jy: Jx: P%>