Documente Academic
Documente Profesional
Documente Cultură
Genricos
Smbol
o
Nombre
igualdad
igual a
Categora
todos
:=
se lee como
se define como
todos
Aritmetica
Smbol
o
Nombre
adicin
mas
Categora
aritmtica
se lee como
menos
aritmtica
por
aritmtica
divisin
entre
aritmtica
aritmtica
aritmtica
Lgica proposicional
Smbol
o
Nombre
implicacin material
se lee como
implica; si ..
entonces
Categora
lgica proposicional
lgica proposicional
es falsa.
n < 4 n > 2 n = 3 cuando n es un nmero natural
no
lgica proposicional
Lgica de predicados
Smbol
o
Nombre
cuantificacin universal
se lee como
para todos; para cualquier; para
cada
Categora
lgica de
predicados
cuantificacin
existencial
lgica de
predicados
existe
lgica de
predicados
tal que
Teora de conjuntos
Smbol
o
Nombre
se lee como
Categora
teora de
conjuntos
N = {0,1,2,...}
notacin constructora de
conjuntos
teora de
conjuntos
{ : } {x : P(x)} significa: el conjunto de todos los x para los cuales P(x) es verdadera.
{ | } {x | P(x)} es lo mismo que {x : P(x)}.
{n N : n2 < 20} = {0,1,2,3,4}
{}
conjunto vaco
conjunto vaco
teora de
conjuntos
membresa de conjuntos
teora de
conjuntos
es subconjunto de
teora de
conjuntos
teora de
conjuntos
interseccin conjuntoteortica
teora de
conjuntos
complemento conjuntoteortico
menos; sin
teora de
conjuntos
Funciones
Smbolo
Nombre
se lee como
()
[]
{}
funciones
f:X
Y
de
Categora
de ... a
funciones
Nmeros
Smbol
o
Nombre
nmeros naturales
se lee como
N
Categora
nmeros
Z significa: {...,3,2,1,0,1,2,3,...}
{a : |a| N} = Z
nmeros racionales Q
nmeros
nmeros
nmeros
R; (1) R
nmeros complejos C
nmeros
C significa: {a + bi : a,b R}
i = (1) C
la raz cuadrada de; la principal raz
cuadrada de
raz cuadrada
nmeros reales
infinito
nmeros
||
valor absoluto de
nmeros
rdenes parciales
Smbolo
Nombre
comparacin
<
>
Categora
rdenes parciales
se lee como
rdenes parciales
Geometra eucliedeana
Smbolo
Nombre
se lee como
pi
Categora
pi
Geometra euclideana
Combinatoria
Smbolo
Nombre
factorial
se lee como
factorial
Categora
combinatoria
n! es el producto 12...n
4! = 24
Anlisis funcional
Smbolo
Nombre
norma
|| ||
se lee como
norma de; longitud de
Categora
anlisis funcional
Clculo
Smbol
o
Nombre
integracin
se lee como
integral desde ... hasta ... de ... con respecto
a ...
Categora
clculo
0b x2 dx = b3/3; x2 dx = x3/3
derivacin
f'
derivada de f; f prima
clculo
clculo
derivada parcial de
clculo
Con f (x1, , xn), f/xi es la derivada de f con respecto a xi, con todas las otras
variables mantenidas constantes.
Si f(x,y) = x2y, entonces f/x = 2xy
Ortogonalidad
Smbolo
Nombre
perpendicular
se lee como
es perpendicular a
Categora
ortogonalidad
Teora de rejas
Smbolo
Nombre
fondo
se lee como
el elemento fondo
Categora
teora de rejas