CONAIP

MANUAL DE MATEMTICAS APLICADAS (INGENIERA)

Profesor: Jorge Andrs Rosas Avila.
1.- LGEBRA SUPERIOR.
2.- CLCULO.
3.- INTRODUCCIN A LAS MATEMTICAS APLICADAS Y COMPUTACIONALES.

1.- LGEBRA SUPERIOR

NMEROS REALES Y SUS OPERACIONES
Los subconjuntos ms importantes del conjunto de los nmeros reales son:
El conjunto de los Nmeros Naturales.
N = {1, 2, 3, 4, }
El conjunto de los Nmeros Enteros.
Z = {0, 1, 2, 3, }
El conjunto de los Nmeros Racionales.
Q={

p
| p, q Z, q 0}
q

El conjunto de Nmeros Reales lo denotaremos por R y est formado por la unin de los
nmeros racionales e irracionales.

Es muy importante establecer una asociacin entre los nmeros reales y el conjunto de
puntos de una recta. Se traza una recta horizontal, se fija un punto sobre la recta y se hace
corresponder con el cero. A partir de este punto y hacia la derecha se coloca el segmento
unidad y se marca un punto. A este le corresponde el nmero uno. As sucesivamente
podemos colocar todos los nmeros enteros positivos a la derecha y los negativos a la
izquierda. Dividiendo los segmentos pueden localizarse los nmeros racionales (cociente de
dos enteros). Un nmero racional es de la forma

a
con a, b entero y b 0.
b

Un nmero real x es mayor que el nmero y si se encuentra ms a la derecha sobre la recta

numrica, es menor si se encuentra ms a la izquierda. Un nmero es positivo si est a la
derecha del cero y es negativo si se encuentra a la izquierda del cero.

Toda escala mide cantidades, por ejemplo, una regla graduada o un termmetro hace uso de
esta asociacin.
El smbolo matemtico = en la literatura usual se lee: igual a. Las siguientes son las
propiedades bsicas de la igualdad, las letras a, b, c, d, denotarn nmeros reales.
i) Reflexiva a = a
ii) Simtrica a = b es lo mismo que b = a
iii)Transitiva a = b y b = c implican a = c
iv) Adicin a = b y c = d implican a + c = b + d
v) Multiplicacin a = b y c = d implican ac = bd
Para ilustrar tales propiedades se muestran las siguientes implicaciones:
i) a = b es lo mismo que a = b

ii) 5 = a es lo mismo que a = 5

iii) 16 = b es lo mismo que b = 16 y por lo tanto b = 16
iv) Si b = 13.8 y c = b, entonces c = 13.8
v) Si a = 2.91 y d = 3a + 1, entonces
d = 3(2.91) + 1 = 8.73 + 1 = 9.73
2

vi) Si x = 3 y t = x + 2x entonces
2

t = (3) + 2(3) = 15
vii) Si m = 2, entonces x = m = 2
Mencionamos las propiedades de la adicin y multiplicacin de los nmeros reales:
Suma:
conmutatividad: a + b = b + a
asociatividad: a + (b + c) = (a + b) + c
0 es el neutro aditivo: a + 0 = 0 + a = a
a es el inverso aditivo: a + (a) = 0
Multiplicacin:
conmutatividad: ab = ba
asociatividad: a(bc) = (ab)c
1 es el neutro multiplicativo: a 1 = a
Si a 0,

1
1 -1
= a es el inverso multiplicativo o recproco de a, es decir, a = 1
a
a

La multiplicacin se distribuye en la suma:

a(b + c) = ab + ac

(a + b)c = ac + bc

La suma de fracciones de nmeros reales arbitrarios obedece la siguiente regla:

a c ad + bc
+ =
b d
bd
donde b 0 y d 0.

El producto y cociente de expresiones con signos cumple las siguientes leyes:

1. (a)(b) = (+a)(+b) = ab
2. ( a)(b) = (a)(+b) = ab
3. (a)( b) = (+a)(b) = ab
4. ( a)(b) = ab
5.

a +a -a
=
=
b +b -b
6.

-a -a +a
a
=
=
=
b +b -b
b

7.

-a a
=
-b b
Para un cociente de fracciones de nmeros reales arbitrarios se cumple la siguiente regla:

a

b ad
=
c bc

d

EXPONENTES Y RADICALES

real y n un entero positivo, definimos

DEFINICIN. Si a es un nmero

a a (el producto de a con a n veces)

n factores
n

a =

que se lee: a elevado a la nsima potencia, o a elevado a la n, o simplemente a a la n.

Al nmero a le llamamos
base y a n exponente.
1

El exponente de a es 1, es decir a = a.
Dados, un nmero real a distinto de cero y un nmero entero positivo n definimos,
0

1
an

-n

a = 1, a =
ejemplos:
0

1.- 3 = 1
-4

2.- 2 =

1
1
1
=
=
4
2
2 2 2 2 16

Es importante sealar que la expresin 0 no tiene sentido.

DEFINICIONES.
1. Sean a un nmero real positivo y n un entero positivo. La raz nsima de a, denotada por
1

a = a n , es el nmero real positivo b que satisface la igualdad bn= a.

La raz cuadrada de un nmero

a se denota simplemente por a .

2. Supongamos que a es un nmero real negativo y n un entero positivo impar. La raz

nsima de a, denotada
por
n
b = a.

a = a , es el nmeroreal negativo b que satisface la igualdad

3. Si n es entero positivo, definimos

4. Si

1
n

1
n

0 = 0.

a es distinto de cero, definimos

-

an=

1
a

1
n

1
a

Notemos que las races de orden par de un nmero negativo no estn definidas en el

conjunto de los nmeros reales. Para ejemplo,

4

1 , 5 no estn definidas, sin embargo,

8 = 2, ya que (2)3 = 8.

Con lo anterior, tenemos definidas a las potencias enteras y races de un nmero. Definimos
ahora las potencias racionales.

tales que
DEFINICIN. Si m y n son enteros
a

m/n

a tiene sentido, entonces definamos

n m
m
= ( a) = a
n

LEYES DE LOS EXPONENTES

Sean a, b nmeros reales y m, n

nmerosreales tales que las siguientes cantidades estn
definidas. Entonces se cumplen las siguientes igualdades.
n

n+m

1. a a = a
n m
nm
2. (a ) = a
n
n n
3. (ab) = a b

a n a n
4. = n
b b
an
1
n -m
5. m = a
= m -n
a
a

PRODUCTOS NOTABLES
En lgebra elemental hay productos que aparecen a menudo. Es conveniente recordar estos
productos para no realizar las operaciones cada vez que estos aparezcan.
2
Si desarrollamos el binomio al cuadrado (a + b) , obtenemos
2

(a + b) = (a + b)(a + b) = a(a + b) + b(a + b) = a + ab + ba + b = a + 2ab + b

2

Es ms fcil recordar la frmula (a + b) = a + 2ab + b , que realizar las operaciones que

aparecen arriba.
Con esta frmula podemos deducir rpidamente que
2
2
2
2
(a + 5) = a + 2(a)(5) + 5 = a + 10a + 25.
Las frmulas para los productos notables ms utilizadas se enlistan a continuacin.
1.
2.
3.
4.
5.
6.
7.
8.

(a
(a
(a
(a
(a
(a
(a
(a

+
+

b) = a + 2ab + b
2
2
2
b) = a 2ab + b
2
2
b)(a b) = a b
3
3
2
2
3
b) = a + 3a b + 3ab + b
3
3
3
2
2
b) = a 3a b + 3ab b
2
2
3
3
b)(a ab + b ) = a + b
3
2
2
3
b)( a + ab + b ) = a b
2
m)(a + n) = a + (m + n)a + mn

Adems entendemos, a estas frmulas como factorizaciones, cuando lectura se hace de

derecha a izquierda. Por ejemplo, la tercera frmula de la lista anterior:
2

3. a b = (a + b)(a b)

ECUACIONES LINEALES
Una ecuacin lineal en la variable x es una expresin del tipo
ax + b = 0
donde a, b son nmeros reales (a 0).
DEFINICIN. A la cantidad

x=

-b
b
=
a
a

se le llama la solucin o raz de la ecuacin lineal dada, en virtud de que satisface tal
relacin.

Ecuaciones cuadrticas
Consideremos la ecuacin cuadrtica definida por
2

ax + bx + c = 0, donde a

Las soluciones o races de la ecuacin estn dadas por la frmula

b b 2 4ac
x=
2a
a. Puede haber dos soluciones diferentes de la ecuacin, x = 1 y x = 2 , lo cual se tiene
2
cuando el discriminante de la ecuacin es positivo, esto es, b 4ac > 0.

b. Puede haber una solucin (doble) de la ecuacin, que es el caso cuando el discriminante
2
es nulo, esto es b 4ac = 0.
c. Puede no tener soluciones reales, que es el caso cuando el discriminante es negativo, esto
2
2
es b 4ac < 0, y en tal caso la expresin ax + bx + c es siempre positiva o siempre
negativa. Para verificar el signo de la expresin es suficiente con evaluar la expresin en x =
0 y el signo del valor es el mismo en todos los argumentos reales.

RACES Y FACTORIZACIN
Consideremos la expresin
2

x 4=0
Resulta claro que sus races son x = 2 y x = 2.
Por otro lado, al factorizar tal expresin, se tiene que
2

x 4 = (x 2)(x + 2) = ( x 2 )( x (2) )
es decir, esta expresin se puede escribir como
2

x 4 = ( x 1 )( x 2 )
donde 1 = 2 y 2 = 2 son sus races.
2

Observamos que x 4 es un polinomio cuadrtico. Definimos ahora lo que es en general un

polinomio de variable real. Nuestro objetivo es el de establecer una conexin entre la

factorizacin y las races de un polinomio.

DEFINICIN. Dados un conjunto de nmeros reales a0 , a1 , a2 , , an , a la expresin en
la indeterminada (variable) x, donde an 0,
n

P (x) = anx + an-1x

n-1

+ + a 2x

+ a 1x + a 0

se le llama el polinomio de grado n con los coeficientes dados.

Si n = 1 el polinomio se dice lineal, si n = 2 se dir cuadrtico, para n = 3 se llamar cbico,
etctera.
El nmero real es una raz del polinomio P(x), si al considerarlo como un argumento lo
anula, es decir,
n
n-1
2
P () = an + an-1 + + a2 + a1 + a0 = 0
En las secciones anteriores se han calculado las races de las ecuaciones lineales y
cuadrticas ahora al buscar las soluciones de tales ecuaciones se encontrarn sus raices.
Establecemos ahora el siguiente resultado que es una versin del Teorema fundamental del
lgebra.

TEOREMA FUNDAMENTAL DEL LGEBRA. Sean P(x) un polinomio real de variable real y
una raz del polinomio, entonces P(x) se puede factorizar teniendo a (x ) como factor. Es
decir,
P(x) = (x ) Q(x)
donde Q(x) es otro polinomio de grado menor que el de P(x).
En otras palabras, una expresin polinomial con coeficientes reales tiene una descomposicin
de la forma (x - ) donde es una raz del polinomio inicial.

SISTEMAS DE ECUACIONES LINEALES

Un par de ecuaciones lineales se puede resolver trazando la grfica de ambas sobre los
mismos ejes y determinando las coordenadas del punto de interseccin.
Cualquier sucesin de valores x1 = s1 y x2 = s2 tales que
a11s1 + a12s2 = b1
a21s1 + a22s2 = b2
le llamamos una solucin del sistema de ecuaciones lineales.
Si el sistema de ecuaciones lineales tiene solucin se le llama compatible o consistente. Si no
tiene solucin le llamamos incompatible o inconsistente.
Sistema con solucin nica.
Considrese el sistema
x-y=7
x+y=5
Al sumar las dos ecuaciones se obtiene, por el resultado A, la ecuacin siguiente: 2x = 12 (es
decir, x = 6). Entonces, de la segunda ecuacin, y = 5 x = 5 6 = -1. Por lo tanto, el par (6, -1)
satisface el sistema. Por la forma en que se encontr la solucin, se ve que no existe ningn

otro par que satisfaga ambas ecuaciones. Por tanto, el sistema tiene una solucin nica.
Sistema con un nmero infinito de soluciones
Considrese el sistema
xy=7
2x 2y = 14
Es obvio que estas dos ecuaciones son equivalentes. A fin de comprobar esto,
multiplquese la primera por 2. x - y = 7 o y = x 7. Por tanto, el par (x, x-7) es una solucin del
sistema para todo nmero real x. El sistema tiene un nmero infinito de soluciones. Por
ejemplo, los pares siguientes son soluciones: (7, 0), (0, -7), (8, 1), (1, -6), (3, -4) y (-2, -9).

DETERMINANTES
Determinantes de 2x2:

a11 a12
= a11a22 a12 a21
a21 a22

Determinantes de 3x3:

a11 a12
= a21 a22
a31 a32

a13
a
a23 = a11 22
a32
a33

a23
a
a
a
a
a12 21 23 + a13 21 22
a33
a31 a33
a31 a32

Mtodo de Cramer para sistemas de ecuaciones lineales:

Sea el sistema de n ecuaciones lineales y n incgnitas:

11x1 + 12x2 + . 1nxn = 1

21x1 + 22x2 + . 2nxn = 2
.

n1x1 + n2x2 + . nnxn = n

Donde las ij son los coeficientes de las incgnitas x1, x2, . , xn. El determinante:

11 12 ... 1n
21 22 ... 2n
=
, se conoce como determinante principal del sistema lineal de

n1 n 2 ... nn

ecuaciones. Si el determinante es igual a cero, el sistema o bien no tiene soluciones o tiene

una infinidad de stas. Si el determinante es diferente de cero entonces el sistema tiene
solucin nica. En ste caso, para calcular cada una de las incgnitas x1, x2, . , xn, se
sustituye la columna de de los coeficientes correspondientes para cada xi por la columna de 1,
2, . . . , n, se calcula este determinante y se divide entre el determinante principal del sistema.

As, el valor de cada incgnita x1, x2, , xn, est dado por:

1
2

x1 = n
11
21

n1

12
22

n2
12
22

n2

...
...

....
...
...

...

1n
2n

nn
, x2 =
1n
2n

nn

11
21

n1
11
21

n1

1
2

n
12
22

n2

...
...

....
...
...

...

2.- CLCULO

1n
11
2n
21

nn
n1
, . . . , xn =
1n
11
2n
21

nn
n1

12
22

n2
12
22

n2

...
...

....
...
...

...

1
2

n
1n
2n

nn

FUNCIONES DE VARIABLE REAL

DEFINICIN. Una funcin del conjunto D en el conjunto Y , es una relacin que asocia a
cada elemento x del conjunto D un nico elemento del conjunto Y. Si f es una funcin de D
en Y, definimos f : D Y. Si al elemento x D la funcin f le asocia el elemento y Y ,
entonces definimos f (x) = y.
Si f : D Y es una funcin entonces llamamos a D dominio de la funcin f, y al conjunto
Im(f) = { y Y | f (x) = y para algn x D }
rango o imagen de f . En este caso estudiaremos solamente funciones cuyo dominio e
imagen son subconjuntos de R.
2

Por ejemplo el dominio e imagen de la funcin f(x) = x son los conjuntos R y [0, )
respectivamente.
Es importante recordar que no est permitido:
i. Dividir por cero.
ii. Extraer races de orden par de nmeros negativos.
De i. se sigue que el dominio de

f (x) =

2
x 1

es
D = {x | x 1} = R \ {1} = (, 1) (1, )
en virtud de que x = 1 anula eldenominador.
Considerando la restriccin ii. concluimos que la funcin f (x) =
intervalo D = {x | x 0} = [0, +).

x tiene como dominio al

DEFINICIN. Supongamos que f : D R es una funcin, donde D R. La gfica de f es el

2
( f ) = {(x, y) R2 | x D y f (x) = y}
subconjunto del plano cartesiano R , definido por Graf

La figura ilustra la grfica de una funcin.

Para determinar el dominio, en problemas aplicados, es necesario considerar las restricciones

fsicas propias del problema. Llamaremos dominio fsico al conjunto de argumentos
permisibles del problema.
2

Por ejemplo, si A(r) = r es el rea de un crculo, el dominio es R, pero el dominio fsico es

el conjunto (0 , ), ya que no consideramos radios negativos.

DERIVADA Y DIFERENCIAL DE UNA FUNCIN REAL.

Definicin.- Sea f(x) una funcin continua en el punto x=a. La derivada de f(x),
respecto a x, en el punto x=a, que representaremos con los smbolos
Df(a),

df (a)
o tambin f(a) es el
dx
lim f(a+x)-f(a)
x0
x

Definicin. Sea f una funcin definida en un intervalo abierto que contiene a a.

Entonces la pendiente m de la recta tangente a la grfica de f en el
punto P(a,f(a)) est dada por
m = lim f(a+h)-f(a)
h0
h
siempre y cuando este limite exista.
Definicin.- Sea f una funcin definida en un intervalo abierto que contiene a a.
Entonces la derivada de f en , denotada por f(a), est dada por
f(a)= lim f(a+h)-f(a)
ho
h
Tabla de Derivadas.
En la siguiente tabla las letras f , g, h denotan funciones de x, en tanto a, c, representan
constantes reales y n denota un nmero natural fijo.
Los argumentos de las funciones trigonomtricas estn expresados en radianes.
1. Derivada de una constante por una funcin:

d
df
(c f ) = c
dx
dx

2. Derivada de una suma de funciones:

d
df dg
(f + g) =
+
dx
dx dx
3. Derivada de un producto de funciones:

d
dg
df
(f g) = f
+g
dx
dx
dx

4. Derivada de un cociente de funciones:

df f dg
g

d f
dx
dx
=
2
dx g
g

5. Derivada de una compuesta de funciones o regla de la cadena:

d (g f ) (x) = dg ( f (x)) df
dx
dx
dx
Derivadas de funciones bsicas

1. d (c) =
0
dx
2.

d
(x) = 1
dx

3.

d r
r-1
(x ) = r x , r IR.
dx

4.

d
(sen x) = cos x
dx

d
(cos x) = sen x
dx
d
2
6.
(tan x) = sec x
dx
5.

7.

d
2
(cot x) = cosec x
dx

8.

d
(sec x) = sec x tan x
dx

9.

d
(cosec x) = cosec x cot x
dx

10.

d
(arc sen x) =
dx

1
1 x

arc sen x )
2
2

11.

1
d
;
(arc cos x) =
dx
1 x 2

(0 arc cos x )

d
1

(arctan x) =
;
( arc tan x )
2
dx
1+ x
2
2

d
1
13.
(arccotan x) =
;
(0 arccotan x )
dx
1+ x 2

d
1

14.
(arcsec x) =
;
(0 arcsec x < , < arcsec x )
2
dx
x1+ x
2 2

12.

d
1
(arccosecx) =
;
dx
x1+ x 2

d
1
16.
(ln x) =
dx
x
15.

d x x
17.
(e ) = e
dx

d
1
18.
(loga x) = (loga e)
dx
x
19.

2 arccosecx < 0 , 0 < arccosecx

d x
x
(a ) = ( ln a ) a
dx

Mximos y mnimos de una funcin de una variable

Si la funcin es creciente a la izquierda del punto, y de creciente a la

derecha, lo llamaremos mximo. Si a la izquierda del punto la funcin es
decreciente y a la derecha creciente, diremos que se trata de un mnimo.
Definicin.- Sea f(x) con primera derivada y segunda derivada alrededor de un
punto x0. Diremos que hay un mximo en x0, si f(x0) = 0 y si f(x0) < 0.
Definicin.- Sea f(x) con primera y segunda derivada alrededor de un punto x0,
se dice que en x0 hay un mnimo si f(x) = 0 y si f (x) > 0.
Ejemplos:
1. f(x) = 3x3 + 2x 1
f(x) = 9x2 + 2
f(x) = 18x
Problemas que requieren el concepto de la diferencial.
Definicin.- Sea y = f(x) donde f es derivable y sea x un incremento de x.
Entonces
(i) la diferencial dy de la variable dependiente y est dada por
dy = f(x) x.
(ii) la diferencial dx de la variable independiente x est dada por dx = x.

INTEGRAL INDEFINIDA
1. Reglas principales para la integracin
a) Si F(x) = f(x), entonces

f(x)dx = F(x) + C, (aqu y en las frmulas siguientes

b) A f(x)dx = A f(x)dx, donde A es una constante.
c)( f1(x) f2(x) )dx = f1(x)dx f2(x)dx
d) Si

f(x)dx = F(x) + C y u = (x), se tiene,

f(u)du = F(u) + C
2. Tabla de Integrales Indefinidas Inmediatas

x a +1
1. x dx =
+ C (a= 1)
a +1
dx
2.
= lnx+ C
x
a

3. sen x = - cos x + C

4. cos x = sen x + C

dx
= tg x + C
cos2 x

5.

6.

dx
= ctg x + C
sen 2 x

7. tg x = ln cos x+ C

8. ctg x = ln sen x + C
x

9. e dx = e + C
x

10. a dx = a ln a + C
11.

12.

dx
1
x
dx = arc tg + C
2
a +x
a
a

13.

dx
1 a+ x
ln
+C
2=
a x
2a a - x

dx
= arc tg x + C
1+ x 2
2

C designa una constante arbitraria).

14.

15.

16.

17.

18.

dx
1- x

= arcsen x + C

dx
2

a -x

= arcsen

x
+C
a

= lnx +

x 2 + a2 + C

dx
2

x a

a 2 x2

dx
1 x a
ln
+C
2
2 =
x a
2a x + a

19.

dx =

x x 2
a2
arcsen
+
x +a +C
a 2
2

a
x 2
x 2 + a dx = ln x + x 2 + a +
x +a +C
2
2

INTEGRACION MEDIANTE LA INTRODUCCION BAJO EL SIGNO DE LA DIFERENCIAL.

La regla
d) ampla la tabla de las integrales inmediatas. Precisamente, gracias a esta regla, la
tabla de las integrales es vlida, independientemente de que la variable de integracin sea una
variable independiente o una funcin diferenciable.
Ejemplo:
1

dx
1
=
5x 2 5

(5x 2)

1
2

1
d(5x 2) =
5

1
2

1 u2
1 (5x 2) 2
2
u
du
=

+
C
=
+C=
5x 2 + C

1
5 1
5
5
2
2

donde se puso u = 5x 2. Se emple la regla d) y la integral 1 de la tabla.

En este ejemplo antes de aplicar las integrales de la tabla, se transform la integral dada a la
forma

f ( (x)) '(x)dx =

f (u)du, donde u = (x)

Este tipo de transformacin se llama introduccin bajo el signo de la diferencial.

MTODO DE
SUSTITUCIN O CAMBIO DE VARIABLE EN LA INTEGRAL INDEFINIDA.
Poniendo
x = (t),
donde t es una nueva variable y una funcin continua diferenciable, tendremos:

f (x)dx =

f [ (t)] '(t)dt,

la funcin se procura elegir de tal manera, que el segundo miembro de la frmula anterior
tome una forma ms adecuada para la integracin.
Ejemplo. Hallar

x x 1dx

SOLUCIN. Es natural poner

t = x 1, de donde x = t 2 + 1, y dx = 2tdt. Por consiguiente:

5

x x 1dx =

2
2
2
2
(t 2 + 1)t 2tdt = 2 (t 4 + t 2 )dt = 5 t 5 + 3 t 3 + C = 5 (x 1) 2 + 3(x 1) 2 + C,

INTEGRACIN POR PARTES.

FRMULA PARA LA INTEGRACIN POR PARTES. Si u = (x) y v = (x) son funciones

diferenciables, tendremos que

udv = uv vdu,
Ejemplo. Hallar

x ln xdx

Poniendo u = ln x; dv = x dx, tendremos

x2
x ln xdx = 2 ln x

du =

dx
x2
; v = . De donde,
x
2

x 2 dx x 2
x2
= ln x + C .
2 x
2
4

A veces, para reducir la integral dada a una inmediata, hay que emplear varias veces la frmula
de integracin por partes.

CLCULO DIFERENCIAL E INTEGRAL EN R Y R .

Gradiante de una funcin
Definicin.- Si f es una funcin de dos variables, entonces el gradiante de f se
define como
f (x, y) = <fx(x, y), fy(x, y)> = fx(x, y)i + fy(x, y)j.
Derivada direccional de una funcin
Definicin.- Si f es una funcin de x y y y u = <cos, sen> es un vector unitario, entonces
la derivada direccional de f en la direccin de u, denotada por Du f(x, y), est dada por
Du f(x, y) = u f (x, y)

Derivadas de funciones vectoriales

Definicin.- Una funcin vectorial F es continua en a si lim r(t) = r (a)
ta
Definicin.- Si r es una funcin vectorial, entonces la derivada de r es la funcin vectorial r
definida por
r(t) =

lim

t 0

[r(t + t) r(t)]
t

para todo t para el cual el lmite existe.

3.- INTRODUCCIN A LAS MATEMTICAS APLICADAS Y

COMPUTACIN.
La herramienta fundamental para el anlisis y diseo de circuitos digitales es el lgebra
Booleana. Esta lgebra es un conjunto de reglas matemticas (similares en algunos aspectos
al lgebra convencional), pero que tienen la virtud de corresponder al comportamiento de
circuitos basados en dispositivos de conmutacin (interruptores, relevadores, transistores, etc).
En esta seccoin se presentan los postulados que definen el lgebra booleana, se presentan
en forma de teoremas los resultados ms importantes, se presentan tambin los tres ejemplos
clsicos de lgebras boolenas (lgica proposicional, lgebra de conjuntos, lgebra de switches)
y herramientas bsicas como tablas de verdad y diagramas de Venn.
POSTULADOS DEL LGEBRA DE BOOLE
Postulado 1. Definicin. El lgebra booleana es un sistema algebraico definido en un conjunto
B, el cual contiene dos o ms elementos y entre los cuales se definen dos operaciones
denominadas "suma u operacin OR" ( + ) y "producto o multiplicacin u operacin AND" ( ), las
cuales cumplen con las siguientes propiedades:
Postulado 2. Existencia de Neutros. Existen en B el elemento neutro de la suma,
denominado O y el neutro de la multiplicacin, denominado 1, tales que para cualquier
elemento x de B:
(a) x + O = x
(b) x 1 = x
Postulado 3. Conmutatividad. Para cada x, y en B:
(a) x+y = y+x

(b) x y =y x

Postulado 4. Asociatividad. Para cada x, y, z en B:

(a) x + (y + z) = (x + y) + z

(b) x (y z) = (x y) z

Postulado 5. Distributividad. Para cada x, y, z en B:

(a) x+(y z)=(x+y) (x+z)
(b) x (y+z)=(x y)+(x z)
Postulado 6. Existencia de Complementos. Para cada x en B existe un elemento nico
c
denotado x (tambin denotado x ), llamado complemento de x tal que
(a) x + x = 1
(b) x x = O
CIRCUITOS DE CONMUTACIN
1.- Para este ejemplo de lgebra de Boole, el conjunto B es el conjunto de todos los switches
o interruptores. La operacin suma de switches es la conexin en paralelo y la multiplicacin de
switches es la conexin en serie, como se muestra en la siguiente figura. Los valores que
pueden tomar los switches son slo dos: {ON, OFF} o bien, {1,0}.

2.- Existencia de neutros. El neutro de la suma, es un circuito abierto (un switch que siempre
est abierto), mientras que el neutro del producto es un corto circuito (un switch que siempre
est cerrado)

3.- Conmutatividad. Evidentemente las conexiones en serie y en paralelo funcionan de la

misma manera independientemente del orden de colocacin de los switches que interconectan.
4.- Asociatividad. Las conexiones en serie y en paralelo son asociativas, es decir, al conectar
tres switches en paralelo, no importa cual par se conecte primero. En forma similar pasa con la
conexin de tres switches en serie.
5.- Distributividad. La conexin serie es distributiva sobre la conexin en paralelo y la conexin
paralelo es distributiva sobre la conexin en serie, en el sentido que se ilustra en la figura
siguiente

6.- Existencia de complementos. Se puede fabricar un switch A complemento de otro switch A

simplemente acoplando mecnicamente ambos, para que cuando uno se abra el otro se cierre
y viceversa.
LGICAPROPOSICIONAL

1.ParaesteejemplodelgebradeBooleelconjuntoBeselconjuntodetodoslosenunciados
gramaticales.Laoperacinsuma(+)eslaconjuncingramaticalo(OR),lamultiplicacinesla
conjuncingramaticaly(AND)ylosvaloresquepuedetomarunenunciadogramaticalson
{falso,verdadero}={F,V}.

Enlasiguientefigurasemuestraunejemploendondeseaclarademaneraprecisaelsentidodelas
operacionesORyAND(yaquepuedeserdiferentedelainterpretacingramaticalcotidiana),para
elloseintroduceelconceptodetabladeverdad,lacualessimplementeunatabulacindelos
enunciadosytodaslasposiblescombinacionesdesuscorrespondientesvaloresdeverdado
falsedad.

Ejemplo.
Consideremoslossiguienteslosenunciados:
x="TodoingenieroelectricistadominalaTransformadadeFourier"
y="TodoingenieroelectricistaconocelasnormasISO9000"

sumalgica:
x+y=xoy=TodoingenieroelectricistadominalaTransformadadeFourieroconocelasnormas
IS09000"

productolgico:
xy=xyy="TodoingenieroelectricistadominalatransformadadeFourieryconocelasnormas
ISO9000"
complemento:
x=nox="notodoingenieroelectricistadominalatransformadadeFourier"=existealmenosun

ingenieroelectricistaquenodominalatransformadadeFourier1ningningenieroelectricista
dominalatransformadadeFourier
Tablasdeverdad:

EjemplodeunNeutrodelasuma:
F="Todoingenieroelectricistaespremionoveldeliteratura'

EjemplodeunNeutrodelamultiplicacin:
V="Todoingenieroelectricistaesmayordeedad"

2.- Existencia de neutros. El neutro de la suma, es un enunciado que evidentemente siempre

es falso, (ver ejemplo). en forma similar, el neutro de la multiplicacin es un enunciado que
evidentemente siempre es verdadero.
3.- Conmutatividad. Evidentemente las conjunciones y, o no alteran el sentido del enunciado
total, independientemente del orden en que son tomados.
4.- Asociatividad. Las conjunciones y, o son asociativas, es decir, al conectar tres
enunciados gramaticales con y o con o no importa cual par de enunciados evaluemos
primero para determinar si el enunciado total es verdadero o falso.
5.- Distributividad. La conjuncin y es distributiva sobre la conjuncin o y viceversa, esto es
fcil de probar mediante tablas de verdad, como se muestra a continuacin:

6.- Existencia de complementos. El complemento de un enunciado dado x es simplemente el

enunciado negado gramaticalmente: no x y se denota x.
Observacin:Esimportantetenerclaroquecuandoxesverdaderoxesfalso,yviceversa,as,por
ejemploelcomplementodetodonoesninguno,sinoalmenosunono.

SMBOLOSDEPUERTASLGICAS
Unamanerageneralizadaderepresentarlasfuncioneslgicaseselusodesmbolosobloques
lgicosdenominadospuertasocompuertaslgicas.Estaspuertasengeneralrepresentanbloques
funcionalesquerecibenunconjuntodeentradas(variablesindependientes)yproducenunasalida
(variabledependiente)comosemuestraenlafigurasiguiente

Una de las ventaja de usar stos smbolos es que por ser una representacin entrada / salida
permiten la interconexin de puertas (la salida de una con la entrada de otra) para representar
funciones ms complejas a partir de funciones sencillas.
Otra ventaja es el hecho de que los bloques sencillos (puertas con pocas entradas) se
encuentran disponibles en circuitos integrados comerciales, de aqu que un diagrama de
puertas lgicas corresponde directamente a un diagrama de alambrado de circuito lgico.
A continuacin se presentan los smbolos para las funciones lgicas ms sencillas,
especialmente
para
las
presentadas
en
la
seccin
anterior

Matemticas discretas
I. Lgica
1. Lgica proposicional
Reglas de inferencia
[p (p p)] q
[(p q) q ] p
[(p q) (q r)] (p r)

Modus Ponens
Modus Tollens o demostracin por
contradiccin
Ley del silogismo

2. Lgica de predicados
Reglas para frmula bien formadas
Una frmula esta bien formada cuando esta bien estructurada de acuerdo con el conjunto de
reglas establecidas y con el dominio de discurso.

 Formas clausales: resolucin, unificacin

La resolucin es una tcnica para demostrar teoremas en el lenguaje de la lgica.
La resolucin considera 2 ms clusulas e intenta deducir hechos o relaciones no explcitas
en la clusulas originales del problema.
Las demostraciones por resolucin involucran los siguientes pasos:
1. Poner las premisas o axiomas en forma clausular.
2. Agregar al conjunto de axiomas la negacin de lo que se demostrar en forma clausular.
3. Resolver las clusulas entre s, produciendo nuevas clusulas que se sigan lgicamente de
ellas.
4. Producir una contradiccin, generando la clusula vaca.
Ejemplo:
Si estudio obtengo buenas calificaciones, si no estudio me divierto
Conclusin: Por lo tanto u obtengo buenas calificaciones o me divierto
E Estudio
C Calificaciones buenas
D Divierto

Relaciones y grafos
1. Relaciones
Ordenes parciales
Definicin.- Una relacin puede considerarse como un cuadro que
muestra las correspondencias de unos elementos con
respecto a otros.
Definicin.- Una relacin R en un conjunto A recibe el nombre de
relacin de orden parcial si R es reflexiva, antisimtrica y transitiva.
Relaciones de equivalencia
Definicin.- Una relacin que es reflexiva, simtrica y transitiva en un
conjunto X se conoce con el nombre de relacin de
equivalencia sobre X.

2. Grficas y rboles
Recorridos, nmeros cromticos, coloracin de aristas y vrtices
Definicin.- Sea G = (V, A) un grafo no dirigido. G se denomina rbol si
es conexo y no contiene ciclos.
Como un lazo es un ciclo de longitud uno, un rbol no tiene lazos.
Cuando un grafo es no conexo no puede ser un rbol, pero cada
componente del grafo es un rbol y se denomina bosque.
Cuando un grafo es un rbol se escribe R en lugar de G para
destacar su estructura.
Definicin.- Sea R = (V, A) un rbol con raz r. Si R no tiene otros vrtices, entonces
la raz misma constituye el recorrido orden previo, simtrico y posterior de R. Si |V| > 1, sean
R1, R2, R3, . . . , Rk los subrboles de R segn se va de izquierda a derecha.

a) El recorrido en orden previo de R comienza en r y despus pasa por los vrtices de R1 en

orden previo, a continuacin por los vrtices de R2 en orden previo, y as sucesivamente hasta
que se pasa por los vrtices de Rk en orden previo.
b) El recorrido en orden simtrico de R primero, se pasa por los vrtices de R1 en orden
simtrico, despus por la raz r y a continuacin por los vrtices de los subrboles R2, R3, . . . ,
Rk en orden simtrico.
c) El recorrido en orden posterior de R pasa por los vrtices de los subrboles R1, R2, . . . , Rk
en orden posterior y a continuacin por la raz.
Ejemplo:

a) Recorrido en orden previo: 1, 2, 5, 11, 12, 13, 14, 3, 6, 7, 4, 8, 9, 10, 15, 16,
17.
b) Recorrido en orden simtrico: Comenzando en el vrtice 1, se recorren los vrtices del

subrbol R1, con raz del vrtice 2 en orden simtrico. Esto lleva al vrtice 5 y despus al 11,
una hoja. De ah que al pasar en orden simtrico por los vrtices del subrbol con raz del
vrtice 5, se comience listando los vrtices visitados como 11, 5, 12, 13, 14. A continuacin, se
pasa por el vrtice 2, la raz del subrbol R1 y despus por la raz del vrtice 1. Para completar
este recorrido, ahora se debe pasar por los vrtices de los subrboles R2 y R3 en orden
simtrico. Para R2 esto lleva del vrtice 6 al vrtice 3 (la raz de R2) y despus al vrtice 7. Por
ltimo, para el subrbol R3 con raz en el vrtice 4 primero, se pasa por el vrtice 8, despus
por la raz en el vrtice 4 y a continuacin, por el 9. Despus de que se recorre el subrbol con
raz del vrtice 10; resulta el listado en orden simtrico 15, 10, 16 y 17. En consecuencia, el
recorrido en orden simtrico del rbol determina la sucesin (en orden simtrico) 11, 5, 12, 13,
14, 2, 1, 6, 3, 7,8, 4, 9, 15, 10, 16, 17 para los vrtices.
c) Recorrido en orden posterior: Para el recorrido en orden posterior de un rbol se comienza
en la raz y se construye el camino ms largo, yendo al hijo situado ms a la izquierda de cada
vrtice interno al que se llegue. Al llegar a una hoja h se pasa por este vrtice y se retrocede
hasta su padre p. Sin embargo, no se pasa por p hasta despus de pasar por todos sus
descendientes. El siguiente vrtice por el que se pasa se halla aplicando el mismo
procedimiento a p que a r, para obtener h. Nunca se pasa por un vrtice ms de una vez o
antes que por sus descendientes. El recorrido en orden posterior pasa por los vrtices en el
orden 11, 12, 13, 14, 5, 2, 6, 7, 3, 8, 9, 15, 16, 17, 10, 4, 1.
Definicin.- Si G = (V, A) es un grafo no dirigido, aparece una coloracin apropiada de G
cuando se colorean los vrtices de G de modo que si {a, b} es una arista de G, entonces a y b
se pintan con colores distintos. (De ah que vrtices adyacentes tengan colores distintos). El
nmero mnimo de colores necesarios para colorear de forma apropiada G se denomina
nmero cromtico de G y se escribe (G).
Vrtices de corte
Definicin.- La divisin, o separacin, de un vrtice en un grafo da lugar a un nuevo grafo con
ms componentes, ese vrtice se denomina vrtice de corte o punto de articulacin.
Se llaman vrtices los crculos o puntos de un grafo o rbol y se les llama aristas a las lneas
que unen un vrtice con otro vrtice.

BIBLIOGRAFA:
Preclculo.
Becerril Fonseca, Rubn; et. al. UAM-I, Mxico, 2002.
Problemas y Ejercicios de anlisis Matemtico.
B. Demidovich. Mir, Mosc. Novena reimpresin, 1988.
Clculo diferencial en varias variables.
Becerril Fonseca, Rubn; et. al. UAM-I, Mxico, 2002.
Gua de Matemticas (Ingeniera Informtica y Computacin).
CENEVAL. 2010.