Estructuras Discretas

Diapositivas Beamer

Prof. Andrés Pérez

Universidad Crentoccidental
“Lisandro Alvarado”

Decanato de Ciencias y Tecnologı́a

 Contenido

1 Proposiciones 11 Tipos de Relaciones

2 Equivalencia Lógica 12 Relaciones de Equivalencia
3 Inferencia Lógica 13 Relaciones de Orden
4 Cuantificadores 14 Funciones
5 Conjuntos 15 Imágenes de Conjuntos
6 Operaciones entre Conjuntos 16 Equipotencia
7 Familia Indizada 17 Grafos
8 Inducción Matemática 18 Digrafos
9 Principio de Inclusión-Exclusión 19 Árboles
10 Relaciones 20 Álgeras booleanas
 Sentencia de Dios al hombre
antes que el dia comience:
“Que tu pan no venga a tu mesa
sin el sudor de tu frente”

Ni el sol se te da de balde,
ni el aire por ser quien eres;
las cosas son herramientas
y buscan quién las maneje.

El mar les pone corazas

de sal amarga a los peces;
el hongo sol compesino
madura a fuego las mieses.

A ti te inventé las manos

y un corazón que no duerme;
puse en tu boca palabras
y pensamiento en tu frente.
 Grafos

17 Pregel
Kneiphof
Lomse

Königsberg

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 4 / 21

Definición
Un grafo es una trı́ada de objetos G = (V, A, f ), donde:
V es un conjunto, cuyos elementos se llaman vértices.
A es un conjunto, cuyos elementos se llaman aristas.
f es una función, llamada función de incidencia, que asigna a cada
arista x de A un conjunto de vértices {v, w} (los vértices v y w no
necesariamente son distintos)
Dada una arista x con asignación f (x) = {v, w}, diremos que v y w son
los extremos de x (son adyacentes) y la arista x incide en v y en w. Esto
se representa con el siguiente diagrama

x
v w

En el caso particular v = w, decimos que x es un lazo.

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 5 / 21

Consideremos el siguiente grafo

v4
k l p
V = {v1 , v2 , v3 , v4 , v5 , v6 }
v3
v5
A = {h, i, j, k, l, m, n, p}
i
j n m

h
v1 v2 v6

La función de incidencia f viene dada por

f (h) = {v1 , v2 } f (l) = {v4 , v5 }
f (i) = {v1 , v1 } f (m) = {v5 , v6 }
f (j) = {v2 , v3 } f (n) = {v3 , v6 }
f (k) = {v3 , v4 } f (p) = {v5 , v5 }

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 6 / 21

Definición
Sea G = (V, A, f ) un grafo.
1 El número de incidencia de una atista x en un vértice v es
0, si x no incide en v.
1, si x incide en v y no es un lazo.
2, si x incide en v y es un lazo.
2 El grado de un vértice v, denotado por gr(v), es el número de aristas
que inciden en v (si un lazo incide en v, entonces se cuenta dos veces).
Si un vértice tiene grado 0, decimos que dicho vértice es aislado.
3 Si V = {v1 , . . . , vn }, la matriz de adyacencia de G es
Ady(G) = [kij ]n×n
donde kij es el número de aristas que conectan vi y vj .
4 Si V = {v1 , . . . , vn } y A = {a1 , . . . , am }, la matriz de incidencia de
G es
Inc(G) = [hij ]n×m
donde hij es el número de incidencia de la arista aj en el vértice vi .

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 7 / 21

Vamos a determinar la matriz de adyacencia y la matriz de incidencia del
siguiente grafo

v3 G v5
a3
a4
a2 v6
a5 v4
a7 a1

v2 a6 v1

   
1 1 0 0 1 0 1 0 0 0 0 1 2

 1 0 1 0 0 0 


 0 0 0 0 1 1 0 

 0 0 0 1 0 0   0 0 0 1 0 0 0 
Ady(G) =   , Inc(G) =  

 0 0 1 0 2 0 


 0 1 1 1 0 0 0 

 1 0 0 2 0 0   1 1 1 0 0 0 0 
0 0 0 0 0 0 0 0 0 0 0 0 0
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 8 / 21
Definición
Sean x e y dos vértices de un grafo G = (V, E, f )
1 Un camino x − y en G (o camino de x a y) es una sucesión alternada
finita (sin lazos)

x = x0 , e1 , v1 , e2 , x2 , e3 , . . . , en−1 , xn−1 , en , xn = y

donde x0 , x1 , , . . . , xn son vértices y e1 , , . . . , en son n aristas tales

que para cada 1 ≤ i ≤ n se cumple ei = {xi−1 , xi }. Además, decimos
que la longitud de dicho camino es n. Un camino también puede de-
notarse a través de la sucesión de sus vértices o de la sucesión de sus
aristas.
2 Un camino x − y se denomina trivial si x = y y tiene longitud 0.
3 Cualquier camino x − y donde x = y y n > 1 es un camino cerrado,
y en caso contrario, el camino es camino abierto.

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 9 / 21

A continuación vamos a describir tres caminos abiertos en el siguiente grafo

a b
c

d f
e

{a, b}, {b, d}, {d, c}, {c, e}, {e, d}, {d, b}: éste es un camino a − b
de longitud 6 en el que se repiten los vértices d y b, asi como la arista
{b, d}.
{b, c}, {c, d}, {d, e}, {e c}, {c f }: aquı́ tenemos un camino b − f de
longitud 5, donde se repite el vértice c, sin que aparezcan las aristas
más de una vez.
{f, c}, {c, e}, {e, d}, {d, a}: en este caso, el camino f − a tiene
longitud 4, sin repetición de vértices o aristas.
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 10 / 21
Definición
Consideremos un grafo G = (V, E, f ).
1 Diremos que un camino x − y es un recorrido si no se repite ninguna
arista. Un circuito es un recorrido cerrado.
2 Diremos que un camino x − y es un camino simple si no se repite
ningun vértice. Un ciclo es un camino simple cerrado.

a b Las aristas {a, b}, {b, d}, {d, c}, {c, e}, {e, d},
c {d, a} dan al lugar al circuito a − a. El vértice d
se repite, por lo que este camino no es un ciclo.
d f Las aristas {a, b}, {b, c}, {c, d}, {d, a} definen
e un ciclo a − a de longitud 4.

El camino b − f dado por {b, c}, {c, d}, {d, e}, {e c}, {c f } es un
recorrido, pero no es un camino simple ya que se repite el vértice c.
Por otro lado, el camino f − a definido por
{f, c}, {c, e}, {e, d}, {d, a} es un recorido y un camino simple.
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 11 / 21
Definición
Diremos que un grafo G es conexo si existe un camino simple entre cualquier
par de vértices distintos de G. En caso contrario, el grafo es disconexo.

v3 v4
G1 G2

Conexo Disconexo
v1 v2 v5

Dado G = (V, A, f ), se tiene la siguiente relación de equivalencia en V :

v ∼ w ⇔ existe un camino v − w
Se deduce la siguiente caracterización: G es conexo si y solo si el conjunto
V
cociente es un conjunto unitario.
∼
Notemos que en G1 todos los vértices están relacionados a través de ∼. Por
otro lado, en G2 hay dos clases de equivalencia distintas:
[v1 ] = {v1 , v2 , v3 } y [v4 ] = {v4 , v5 }
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 12 / 21
Definición
Sea G un grafo sin vértices aislados.
1 Un circuito euleriano es un circuito que involucra cada arista exacta-
mente una vez.
2 Un recorrido euleriano es un recorrido abierto que involucra cada
arista exactamente una vez.

Teorema
Sea G un grafo sin vértices aislados. Entonces G tiene un circuito euleriano
si y solo si G es conexo y todo vértice tiene grado par.

La cuidad prusiana de Königsberg (que hoy dia se llama Kaliningrado y

forma parte de Rusia) estaba dividida en cuatro partes por los brazos en los
que se bifurca el rı́o Pregel. Siete puentes conectaban entre sı́ estas regiones
en el siglo XVIII. Se decı́a que los habitantes hacı́an paseos dominicales
tratando de encontrar una forma de caminar por la ciudad cruzando cada
puente exactamente una vez y regresando al punto de partida .
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 13 / 21
 v3

v3 v2
v4 v2 v4
Pregel

v1
v1
El matemático suizo Leonhard Euler resolvió este problema. Su solución,
publicada en 1736, es posiblemente la primera ocasión en que se utilizó la
teorı́a de grafos. Euler estudió el problema usando el siguiente grafo que se
obtiene si se representan las cuatro regiones mediante vértices y los siete
puentes mediante aristas.
Vemos que el grafo es conexo y no tiene vertices aislados. Como además
gr(v2 ) = 5, concluimos por teorema que el grafo no tiene un circuito eule-
riano. Esto significa que no se puede caminar por la ciudad de Königsberg
cruzando cada puente exactamente una vez, iniciando y terminando en la
misma región.
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 14 / 21
 Digrafos

e7

18 e2
v2

e1
e6

v3
e4 v5
e3
v1
e5
v4

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 15 / 21

Definición
Un digrafo es una trı́ada de objetos D = (V, A, f ), donde:
V es un conjunto, cuyos elementos se llaman vértices.
A es un conjunto, cuyos elementos se llaman aristas.
f es una función, llamada función de incidencia, que asigna a cada
arista x de A un par ordenado de vértices (v, w)
Dada una arista x con asignación f (x) = (v, w), diremos que v es el vértice
inicial y w es el vértice final de x. Esto se representa con el siguiente
diagrama

x
v w

En el caso particular v = w, decimos que x es un lazo.

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 16 / 21

Consideremos el siguiente digrafo

e7
v2 e6
V = {v1 , v2 , v3 , v4 , v5 }
e2 e1
v3
e4 v5 A = {e1 , e2 , e3 , e4 , e5 , e6 , e7 }
e3
v1
e5
v4

A continuación, describimos la función de incidencia f

f (e1 ) = (v2 , v1 ) f (e5 ) = (v5 , v4 )

f (e2 ) = (v1 , v2 ) f (e6 ) = (v3 , v3 )
f (e3 ) = (v3 , v4 ) f (e7 ) = (v2 , v5 )
f (e4 ) = (v5 , v3 )

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 17 / 21

A continuación modelaremos el funcionamiento del procedimiento de acce-
der a un ordenador, en el que el usuario debe introducir un número de iden-
tificación de usuario, que se considera una única entrada, y posteriormente,
una clave, que se considera una única entrada. Si la clave es incorrecta, el
usuario debe introducir nuevamente su número de identificación.

Para este propósito, trazaremos un digrafo, donde los vértice representan

los estados y las aristas representan las transiciones y están etiquetadas con
las entradas y las salidas de cada transición.

q, a v = Número ID válido
p, c i = Número ID inválido
x, c p = Clave válida
v, b q = Clave invalida
Inicio
i, b a = “Introduzca el ID”
b = “Introduzca la clave”
c = Prompt
x, a x = Cualquier entrada

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 18 / 21

El ejemplo anterior es una máquina de estado finito. Esta estructura in-
cluye un conjunto finito de estados, uno de los cuales es el estado inicial, un
alfabeto de entrada y una función de transición que asigna a cada pareja de
estado y dato de entrada el siguiente [Link] máquina de estado finito
tiene una memoria interna primitiva en el sentido de que recuerda en qué es-
tado se encuentra. Al permitir una memoria externa en la que la máquina
uede leer y escribir datos, es posible definir máquinas más poderosas.

Uno de los modelos más utilizados se conoce como máquina de Turing,

en honor al mátemático británico Alan Turing. Una máquina de Turing se
compone de todo los que consta una máquina de esta finito junto con una
cinta, que es infinita en ambos sentidos. Una máquina Turing lee un caracter
de la cinta a la vez y después de cada lectura, la máquina se detiene o realiza
alguna de las siguientes funciones, ninguna o todas: altera el carácter, se
mueve una po- sición o cambia estados.

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 19 / 21

Es sorprendente que esta área de las estructuras discretas fué creada para
resolver cuestiones más bien teóricas de los fundamentos de las matemáticas,
como lo estableción en 1900 el matemático alemán David Hilbert. En 1935,
Turing se interesó en el problema de decisión de Hilbert, que preguntaba
si podrı́a haber un método general aplicable a cualquier enunciado para
determinar si éste era verdadero. El enfoque de Turing para la solución de
este problema lo llevó a desarrollar la máquina de Turing, el modelo más
general de una máquina de cómputo. Con este modelo pudo establecer
resultados teóricos muy profundos acerca de la forma en que tendrı́an que
funcionar los computadores, antes de que fueran construidos realmente.

Durante la Segunda Guerra Mundial, Turing trabajó en la oficina para asun-

tos externos de Bletchley Park, donde hizo un amplio uso de criptoanálisis de
los mensajes que los nazis codificaban con máquinas Enigma. Sus esfuerzos
produjeron una máquina descifradora mecánica, elemento muy importante
que contribuyó a la caı́da del Tercer Reich.

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 20 / 21

Los programas pueden procesarse más rápidamente si ciertas instrucciones
del programa se ejecutan en forma concurrente. Pero, para esto, debemos
estar conscientes de que algunas instrucciones dependen de instrucciones
anteriores del programa, puesto que no podemos ejecutar una instrucción
que necesita resultados de otras proposiciones que no han sido ejecutadas
todavı́a.

Consideremos ocho instrucciones de asignación que conforman el principio

de un programa en Java junto con un digrafo cuyo significado vamos a
explicar
(s1 ) b=3;
s5 s7 (s2 ) c=b+2;
(s3 ) a=1;
s8 (s4 ) d=a*b+5;
s4 s2
(s5 ) e=d-1;
(s6 ) f=7;
s3 s1 s6 (s7 ) e=c+d;
(s8 ) g=b*f;
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 21 / 21
Hemos representado las instrucciones mediante los ocho vertices correspon-
dientes, donde una arista como (s1 , s5 ) indica que la instrucción s5 no puede
ejecutarse antes de que se ejecute la instrucción s1 . El digrafo resultante se
denomina digrafo de precedencia de las lı́neas dadas del programa. Ob-
serve cómo este digrafo indica, por ejemplo, que la instrucción s7 se ejecuta
después que las instrucciones s1 , s2 , s3 y s4 . Ası́ mismo, vemos que una
instrucción como s1 debe ejecutarse antes que cualquiera de las instruccio-
nes s2 , s4 , s5 o s8 . En general, si un vértice (instrucción) s es el vértice
final de otros m vertices (y sólo de ellos), entonces las instrucciones co-
rrespondientes para estos m vertices deben ejecutarse antes de que pueda
ejecutarse la instrucción s. En forma análoga, si un vértice (instrucción) s es
el vértice inicial de otros n vértices, entonces cada una de las instrucciones
correspondientes de estos n vértices necesita la ejecución de la instrucción s
antes de poder ejetutarse. Por último, del digrafo de precedencia vemos que
las instrucciones s1 , s3 , y s6 pueden procesarse en forma concurente. De
acuerdo con ello, las instrucciones s2 , s4 y s8 pueden ejecutarse al mismo
tiempo, para después ejecutar las instrucciones s5 y s7 . (O bien, podriamos
procesar s2 y s4 en forma concurrente, y después s5 , s7 y s8 ).
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 22 / 21
 Árboles
c
b

19
5
4
a
2 3
e
d
1

f 2 g

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 23 / 21

Definición
Sea G un grafo sin lazos. Diremos que G es un árbol si G es conexo y no
contiene ciclos.
Entre los siguientes grafos, sólamente G2 es un árbol

G1 G2 G3

Los árboles fueron utilizados por primera vez en 1847 por Gustav Kirchhoff
en su trabajo de redes eléctricas. En 1857, Arthur Cayley usó estos gra-
fos especiales para enumerar los isómeros diferentes de los hidrocarburos
saturados Cn H2n+2 , para n ∈ Z+ .

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 24 / 21

En muchas aplicaciones, se designa a un vértice particular de un árbol como
la raı́z, y podemos asignar una dirección a las aristas del árbol como sigue.
Puesto que hay un único camino entre la raı́z y cada uno de los restantes
vértices, la dirección de cada arista es la que se aleja de la raı́z. Un árbol
junto con su raiz produce un digrafo llamado árbol con raı́z. La terminologia
de los árboles tiene orı́genes botánicos y genealógicos. Por ejemplo, si v es
un vertice distinto de la raiz, el padre de v es el único vertice u tal que hay
una arista de u a v, en este sentido, también se dice que v es hijo de u. Los
vértices con el mismo padre se llaman hermanos. Diremos que un vértice
es una hoja si no tiene hijos.

Árbol T T con raı́z en a

g a
f
Como b, c y d son hijos
d b d de a, son hermanos. Por
e c
b otro lado, f , g, e y d son
a las únicas hojas.
c f g e
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 25 / 21
Definición
Sean G = (V, E, f ) y G0 = (V 0 , E 0 , f 0 ) dos grafos. Diremos que G0 es
subgrafo de G si se V 0 ⊂ V , A0 ⊂ A y f 0 = f |A0 .

Consideremos el siguiente grafo y su función de incidencia

e1
G
v4 e5 v3 f (e1 ) = {v3 , v3 }− − − f (e5 ) = {v3 , v4 }
e2 e8 f (e2 ) = {v3 , v1 }− − − f (e6 ) = {v4 , v1 }
e6 e4
e7 f (e3 ) = {v1 , v2 }− − − f (e7 ) = {v4 , v2 }
v1 e 3 v2 f (e4 ) = {v2 , v3 }− − − f (e8 ) = {v4 , v2 }

El siguiente es un subgrafo de G
v4
G0 f 0 (e3 ) = {v1 , v2 }
e8 f 0 (e6 ) = {v1 , v4 }
e6
e7 f 0 (e7 ) = {v4 , v2 }
v1 e3 v2 f 0 (e8 ) = {v4 , v2 }

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 26 / 21

Definición
Sea G un grafo y G0 un subgrafo de G. Diremos que G0 es un árbol gene-
rador de G si G0 es un árbol y contiene todos los vértices de G.

Los árboles generadores desempeñan un papel importante en la multidifu-

sión en redes IP. Para enviar datos desde un ordenador emisor a múltiples
ordenadores receptores, cada uno de los cuales es una suberd, los datos
pueden enviarse separadamente a cada ordenados. Este tipo de conexión de
redes es ineficiente, puesto que se transmiten muchas copias del mismo dato
por la red. Para hacer mejorar la emisión de un dato a diferentes receptores
de la red, se utiliza multidifusión IP. Con la multidufusión IP, un ordenador
envı́a una copia del dato a la red, y cuando los datos alcanzan los enruta-
dores intermedios, se reenvı́an esos datos a uno o más enrutadores hasta
que todos los ordenadores receptores de las diferentes subredes reciben los
datos. Para que los datos lleguen a los ordenadoes receptores tan rápido
como sea posible, no deberia existir ningún circuito en el camino recorrido
por los datos a través de la red

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 27 / 21

Esto es, una vez que los datos han llegado a un enrutador en concreto,
esos datos no deberı́an volver a ese enrutador. Para evitas circuitos, los
enrutadores de multidifusión utilizan algoritmos que construyen un árbol
generador del grafo. Los vértices del árbol con la fuente de multidifusión, los
enrutadores y las subredes que contienen ordenadores receptores, mientras
que las aristas representan los enlaces entre ordenadores y/o enrutadores.
La raı́z de este árbol generador es la fuente de multidifusión y las subredes
que contienen ordenadores receptores son hojas del árbol.

A continuación mostramos una red IP y un árbol generador de multidifusión

de dicha red

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 28 / 21

Definición
Sea G = (V, A, f ) un grafo conexo y sin lazos. Una ponderación de G es
una función p : A → R que cada arista x le asigna un número real positivo
p(x). La suma de las ponderaciones de todas las aristas de G se denomina
ponderación de G. En este sentido, diremos que el grafo G es ponderado.

Definición
Sea G un grafo ponderado. Diremos que G0 es un árbol generador
económico de G, si se cumple que G0 un árbol generador de G y su pon-
deración es la mı́nima posible entre todos los árboles generadores de G.

Robert Prim desarrolló una técnica para la construcción de un árbol óptimo.

En este algoritmo voraz, los vértices del grafo se dividen en dos conjuntos:
procesados y no procesados. Al principio, solo hay un vertice en el conjunto
P de los vértices procesados y los demás están en el conjunto N de ver-
tices por procesar. Cada iteración del algoritmo incrementa el conjunto P
en un vértice, mientras que le tamaño del conjunto N decrece en uno. A
continuación resumimos el algoritmo de Prim para un grafo G = (V, A, f ).
Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 29 / 21
Algoritmo de Prim
Paso 1 Hacemos el contador i = 1 y colocamos un vértice arbitrario v1 en
P y lo eliminamos de N . en el conjunto P . Definimos N = V − {v1 } y
T = ∅.

Paso 2 Para 1 ≤ i ≤ n − 1, donde | V |= n, sean P = {v1 , , v2 . . . , vi },

T = {e1 , e2 , . . . , ei−1 }, y N = V − P . Añadimos a T la arista más corta
(la arista de ponderación mı́nimal) de G que conecta un vertice x en P con
un vertice y (= vi+1 en N . Colocamos y en P y los eliminamos de N .

Paso 3 Incrementamos el contador en 1.

Si i = n, el subgrafo de G determinado por las aristas e1 , e2 , . . . , en−1
es conexo, con n vértices y n − 1 aristas y es un árbol generador
económico de G.
Si i < n, regresamos al paso 2.

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 30 / 21

En el siguiente grafo, hemos omitido la notación de las aristas, y en su
lugar hemos colocado la ponderación respectiva. Vamos a construir un árbol
generador económico

G 5 c
b
5
4 3
a 5
6 3
2
e
7 d
2 3 1

f 2 g

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 31 / 21

Etapa i T P N

Inicio 1 ∅ {a} {b, c, d, e, f, g}


[Link] 2 {a, b} {a, b} {c, d, e, f, g}

[Link] 3 {a, b}, {b, e} {a, b, e} {c, d, f, g}

[Link] 4 {a, b}, {b, e}, {e, g} {a, b, e, g} {c, d, f, }

[Link] 5 {a, b}, {b, e}, {e, g} {a, b, e, g, d} {c, f }
{d, e}

[Link] 6 {a, b}, {b, e}, {e, g} {a, b, e, g, d} {c}
{d, e}, {f, g} f

[Link] 7 {a, b}, {b, e}, {e, g} {a, b, e, g, d} ∅
{d, e}, {f, g}, {c, g} f, c

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 32 / 21

 
Por lo tanto, T = {a, b}, {b, e}, {e, g}, {d, e}, {f, g}, {c, g} es un
árbol generador económico (de ponderación 17) de G.

T c
b
5
4
a
2 3
e
d
1

f 2 g

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 33 / 21

 Recomendaciones

1 Sáenz Jorge, Gil Fanny, Romero Neptalı́ y Bethelmy José. Fundamentos

de la Matemática. [Link] edición. Hipotenusa. 2014.
2 Rodriguez Jesús. Notas de estructuras discretas II. Universidad Cen-
troccidental “Lisandro Alvarado”.
3 Gutiérrez Ronald. Introducción a las estructuras discretas. Universidad
Centroccidental “Lisandro Alvarado”. 2009.
4 Grimaldi Ralph [Link]́tica discreta y combinatoria. [Link] edición.
Addison-Wesley Iberoaméricana. 1997.
5 Rosen Kenneth H. Matemática discreta y sus aplicaciones. [Link] edición.
McGRAW-HILL/INTERAMERICANA DE ESPAÑA. 2004.
6 Johnsonbaugh Richard. Matemáticas discretas. [Link] edición. PRENTI-
CE HALL. 2005.

Prof. Andrés Pérez (UCLA) Estructuras Discretas DCyT 34 / 21