Genricos
Smbol
Nombre
se lee como
igualdad
Categora
igual a
todos
se define como
todos
x := y o x y significa: x se define como otro nombre para y (notar, sin embargo, que
puede tambin significar otras cosas, como congruencia)
P : Q significa: P se define como lgicamente equivalente a Q
cosh x := (1/2)(exp x + exp (x)); A XOR B : (A
ad infinitum o sucesin matemtica
B)
(A
se repite/progresin
B)
todos
se entiende que la
se entiende
se
Aritmtica y lgebra
Smbol
o
Nombre
adicin
se lee como
ms
Categora
aritmtica y lgebra
menos
aritmtica
por
aritmtica
aritmtica
sumatoria
de
aritmtica
productorio
hasta ... de
aritmtica
Lgica proposicional
Smbol
Nombre
se lee como
Categora
implica; si ..
entonces; por lo
lgica proposicional
tanto
o,
de rejas
no
lgica proposicional
Lgica de predicados
Smbol
Nombre
cuantificador universal
se lee como
Categora
lgica de
para cada
predicados
lgica de
predicados
lgica de
predicados
tal que
lgica de
predicados
Teora de conjuntos
Smbol
Nombre
se lee como
Categora
o
delimitadores de conjunto el conjunto de ...
teora de
conjuntos
teora de
conjuntos
que ...
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 : n < 20} = {0,1,2,3,4}
conjunto vaco
conjunto vaco
teora de
conjuntos
teora de
conjuntos
es subconjunto de
teora de
conjuntos
teora de
conjuntos
teora de
conjuntos
en comn.
{x R : x = 1} N = {1}
diferencia de conjuntos
teora de
menos; sin
conjuntos
Funciones
Smbolo
Nombre
se lee como
Categora
de
funciones
de ... a
funciones
funciones
Nmeros
Smbol
o
Nombre
nmeros naturales
se lee como
N
Categora
nmeros
N significa: {1,2,3,...}, pero vase el artculo nmeros naturales para una convencin
diferente.
{|a| : a Z} = N
nmeros enteros
Z significa: {...,3,2,1,0,1,2,3,4,...}
nmeros
{a : |a| N} = Z
nmeros racionales Q
nmeros
Q significa: {p/q : p, q Z, q 0}
3.14 Q; Q
nmeros reales
nmeros
nmeros
C significa: {a + bi : a, b R}
i = (1) C
raz cuadrada
nmeros reales
cuadrada de
infinito
nmeros
es un elemento de la recta real extendida mayor que todos los nmeros reales;
ocurre frecuentemente en lmites
limx0 1/|x| =
valor absoluto
valor absoluto de
nmeros
rdenes parciales
Smbol
o
Nombre
comparacin
se lee como
es menor a, es mayor a
Categora
rdenes parciales
Nombre
se lee como
Categora
comparacin
rdenes parciales
Geometra eucldea
Smbol
Nombre
o
pi
se lee como
Categora
pi
Geometra euclideana
Combinatoria
Smbol
o
Nombre
se lee como
factorial
factorial de
Categora
combinatoria
n! es el producto 12...n
4! = 24
Anlisis funcional
Smbol
o
Nombre
norma
se lee como
norma de; longitud de
Categora
anlisis funcional
z*a*y*n "
Clculo
Smbol
o
Nombre
integracin
se lee como
integral desde ... hasta ... de ... con respecto a ...
Categora
clculo
0b x dx = b/3; x dx = x/3
derivacin
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) = xy, entonces f/x = 2xy
Ortogonalidad
Smbol
Nombre
se lee como
perpendicular
x
es perpendicular a
Categora
ortogonalidad
lgebra matricial
Smbol
Nombre
se lee como
perpendicular
(a,b) con
traspuesta
Categora
matrices y vectores
Smbol
Nombre
fondo
x=
se lee como
el elemento fondo
Categora
teora de rejas