Matemtica Discreta

Primer Cuatrimestre

Grado en Ingeniera Informtica 2012 - 2013

Cristina Calvo Rodrguez
 Tema 1: Lgica y lgebras de Boole
Proposicin: Es un oracin enunciativa de la que puede decirse si es verdadera o falsa pero no ambas cosas a la
vez; asignaremos uno y solo uno de los valores de verdad: verdadero (1) o falso(0)

Operadores lgicos
p p p q p^q
Negacin p: se lee no p 0 1 0 0 0
1 0 0 1 0
Conjuncin p ^ q: Se lee p y q 1 0 0
1 1 1
Disyuncin p v q: Se lee p o q p q pvq
0 0 0
Condicional p -> q: Se lee Si p, entonces q p q p <-> q
0 1 1 p q p -> q
0 0 1
1 0 1 0 0 1
Bicondicional p<->q: Se lee p, si y slo si, q 0 1 0
1 1 1 0 1 1
1 0 0
1 0 0
1 1 1
1 1 1
Expresiones bien formadas

Al conectar entre s dos proposiciones mediante los operadores lgicos, se obtienen expresiones bien formadas
(b.f.). Slo hay que tener en cuenta:

1) Las proposiciones primitivas son siempre expresiones bien formadas

2) Si P es una expresin bien formada, entonces P tambin lo es.

3) Si P y Q son expresiones bien formadas, tambin lo son P^Q, P V Q, P->Q y P<->Q.

4) No hay ms reglas

Si P resulta ser verdadera, se denomina modelo, y si P es falsa se denomina contraejemplo. Diremos que un
conjunto de proposiciones es consistente si la conjuncin de todas ellas admite algn modelo.

Tablas de Verdad

Una tabla de verdad para un proposicin compuesta construida a partir de proposiciones p, q, r, etc, es un
mtodo que proporciona los valores de verdad de la proposicin compuesta, a partir de los valores de verdad de
p, q, r, etc.

Cuando una proposicin compuesta es siempre verdadera, independientemente de los valores de verdad de sus
proposiciones componentes, se denomina tautologa y se denotar por To. DE la misma forma, cuando una
proposicin compuesta es siempre falsa, se denominar contradiccin y se denotar Fo.

p p p V p
0 1 1
1 0 1 p p p ^ p
Tautologa 0 1 0
1 0 0
Contradiccin
Implicaciones y equivalencias lgicas

Dos proposiciones compuestas P y Q son lgicamente equivalentes, si tienen los mismos valores de verdad para
cada interpretacin de los valores de vedad de sus proposiciones componentes. Esta situacin la denotaremos:

PQ

Dadas dos proposiciones P y Q, se dice que P implica lgicamente a Q, o que de P se deduce Q, si P -> Q es una
tautologa. Es situacin se denota como: P Q (Todo modelo para P es modelo para Q)

Principales equivalencias logicas

Leyes Conmutativas pvq qvp
p^q q^p
Leyes Asociativas (p v q)v r p v(q v r)
(p ^ q)^ r p ^(q ^ r)
Leyes Distributivas p v (q v r) (p v q)^(p v r)
Ley de la doble negacin p p
Leyes de DeMorgan (p v q) (p ^ q)
Leyes de Dominacin p v To To
p ^ Fo Fo
Leyes de Identidad p ^ To p
p v Fo p
Leyes de la negacin p v p To
p ^ p Fo
Ley de la Contraposicin (p -> q) (q -> p)
Leyes de la Implicacin (p -> q) (p v q)
(p -> q) (p ^ q)
Leyes de la Equivalencia (p q) [(p -> q) ^ (q -> p)]
(p q) (p ^ q) v (p ^q)
Leyes Idempotentes p (p ^ p)
p (p v p)
Ley de la reduccin a lo absurdo (p -> q) [(p ^ q) - > Fo]
Principales implicaciones lgicas
Modus Ponens [(p -> q) ^ p] => q
Modus Tollens [(p -> q) ^ q] => q
Silogismo [(p -> q) ^ (q -> r)] => (p -> r)
Leyes de Simpificacin (p ^ q) => p
(p ^ q) => q
Leyes de Adicin p =>(p v q)
q => (p v q)
Silogismo disyuntivo ((p v q) ^ p) => q
((p v q) ^ q) => p
Ley de casos [(p -> q)^(p -> q)] => q
Ley de inconsistencia [p ^ q] => q
Teoremas y Demostraciones

Una teorema consiste e algunas proposiciones 1 , 2 , ... , llamadas hiptesis o premisas y una proposicin C
llamada conclusin. El argumento es vlido siempre que: 1 ^ 2 ^. . . ^ => C es una tautologa y diremos que
de las premisas se puede deducir la conclusin, este es una tipo de demostracin llamada demostracin directa.

Las reglas de inferencia son tcnicas que nos ayudan en las demostraciones de los teoremas. Cada regla de
inferencia tiene su origen en una implicacin lgica.

Un tipo de demostracin indirecta es la contraposicin. Este tipo de demostracin est basada en la tautologa:

(p -> q) <->(q -> p), en este caso: C => (1 ^ 2 ^. . . ^ )

Tablas o rboles Semnticos

El mtodo por contradiccin o reduccin al absurdo nos permite utilizar las llamadas tablas semnticas o rboles
semnticos para comprobar si un argumento es vlido o no. Nos permite saber si una proposicin es una
contradiccin. Para ello se construye un rbol donde los nodos son las proposiciones, el conectivo ^ se representa
por una arista vertical, el conectivo v por un par de aristas en forma de v invertida:

p ^q pvq

q p q

El resto de conectivos se traducen a la v invertida. As el condicional p -> q y el bicondicional p q se

representan como:

p -> q pq

p q p p

q q

Si en una sucesin de nodos del rbol (un camino), aparece una proposicin y su negacin, se dice que es un
camino cerrado y se marca con * el nodo final. Si al final del proceso todos los caminos se cierran, la proposicin
es una contradiccin, sino, cada camino abierto es un modelo de la proposicin inicial.

pvq

p q

p * p
Cuantificadores: Lgica de predicados

Supongamos que p(x) es una proposicin si la variable x pertenece a un determinado conjunto U llamado
dominio. El cuantificador universal se utiliza para construir proposiciones del tipo:

- x p(x) Especificacin universal (EU)

Que se leen para todo x, p(x). Este tipo de proposicin es verdadera cuando p(x) es verdadera para cualquier
valor de x de U.

- x p(x), Se lee Para todo (cada o cualquiera) x, no se verifica p(x). Ser verdadera cuando p(x) sea falsa para
todos los valores x de U.
- x p(x) Especificacin existencial (EE)

Que se leen existe x que verifica p(x). Es verdadera cuando p(x) es verdadera para, al menos, un valor x de U.
-x p(x), Se lee existe un x tal que no se verifica p(x). Es verdadero cuando p(x) es falsa para algn valor x y es
falsa cuando todos los valores de x hacen que p(x) sea verdadera.

Las leyes de Morgan generalizadas son ciertas cualquiera que sea el universo del discurso y cualquiera que sea el
valor de las proposiciones. Estas son:
1) [x p(x)] x[p(x)]
2) [x p(x)] x[p(x)]
3) x [p(x)] x p(x)
4) x[p(x)] x p(x)

Argumentos en lgica de predicados

Cuando los argumentos estn expresados en lgica de predicados, se necesita usar la verdad de proposiciones
cuantificadas para sacar conclusiones acerca de la verdad de proposiciones relativas a miembros del universo del
discurso. Por eso adems de las equivalencias lgicas y reglas de reescritura se necesitan las cuatro reglas
siguientes:
- Especificacin universal (EU) Si la proposicin xF(x) es verdad, entonces se puede deducir que la
proposicin F(a) es verdad para cualquier elemento a del universo del discurso.

- Generalizacin universal (GU) Si la proposicin F(a) es verdad para cualquier elemento a del universo del
discurso, entonces se concluye que xF(x) es verdad.

- Especificacin existencial (EE) Si la proposicin xF(x) es verdad, entonces existe un elemento a en el

universo del discurso tal que F(a) es verdad.

- Generalizacin existencial (GE) Si F(a) es verdad para algn elemento a del universo del discurso,
entonces la xF(x) es verdad.
lgebra de Boole

Un lgebra de Boole es un conjunto A = {a, b, c, . . .} con tres operaciones definidas en l: suma +, producto y
complemento o inversin; de modo que se cumplen los siguientes axiomas:
A1: A es cerrado para las tres operaciones:
a, b A se tiene que a + b A, a b A, a A
A2: Existen dos elementos distinguidos 0 y 1 en A tales que:
a A, a + 0 = a y a A, a 1 = a
A3: Todo elemento aA tiene un complemento a A tal que
a + a = 1 a a = 0
A4: Las operaciones suma y producto son conmutativas:
a, b A, a + b = b + a, a b = b a
A5: Las operaciones suma y producto son asociativas:
a, b, c A, a + (b + c) = (a + b) + c, a (b c) = (a b) c
A6: Las operacin suma es distributiva respecto al producto, y viceversa:
a, b, c A,
a + (b c) = (a + b) (a + c), a (b + c) = (a b) + (a c)

La estructura (A,+, , ) se llama un lgebra de Boole. El Algebra de Boole ms sencilla es aquella formada por los
elementos {0, 1} con las operaciones dadas por los operadores lgicos , y definidos anteriormente.
Una propiedad importante de un Algebra de Boole es el principio de Dualidad. Este principio establece que las
expresiones algebraicas deducidas a partir de un Algebra de Boole permanecen vlidas si se intercambian los
operadores (+ por ) y los elementos distinguidos (0 por 1).

Sea (A,+, , ) un Algebra de Boole. Para cualesquiera a, b A se verifica:

1) Leyes de Idempotencia: a + a = a y aa=a
2) Leyes de Acotacin: a + 1 = 1 y a0=0
3) Leyes de Absorcin: a + a b = a y a (a + b) = a
4) El elemento a de a A es nico. Si existe b A tal que a + b = 1 y a b = 0 entonces b = a.
5) Leyes de Morgan: a + b = a b y a b = a +b
6) Involucin: (a) = a
7) a + a b = a + b y a (a + b) = a b.
a = a 1 = a(a + a) = a a + a a = a a + 0 = a a
a = a + 0 = a + a a = (a + a) (a + a) = (a + a) 1 = a + a
a + ab = (a + a)(a + b) = 1 (a + b) = a + b

Las propiedades recogidas en la proposicin anterior son las equivalentes a las ya estudiadas en lgica
proposicional, basta con tener en cuenta la siguiente tabla de equivalencias:

Boole Lgica
+


0 Fo
1 To
Funciones de Boole
Dada un lgebra de Boole binaria ({0, 1},+, ,), llamaremos variables booleanas a unos smbolos x1, y1, z1, x2, y2,
z2, . . . , que representan a los elementos del conjunto {0, 1}.

Una funcin de Boole puede definirse mediante expresiones del lgebra de Boole o bien dando su tabla de
valores.

f(a, b, c) = a + abc
abc f
f(0, 0, 0) = 1 + 1 0 1 = 1 000 1
f(0, 0, 1) = 1 + 1 0 0 = 1 001 1
f(0, 1, 0) = 1 + 1 1 1 = 1 010 1
f(0, 1, 1) = 1 + 1 1 0 = 1 011 1
f(1, 0, 0) = 0 + 0 0 1 = 0 100 0
f(1, 0, 1) = 0 + 0 0 0 = 0 101 0
f(1, 1, 0) = 0 + 0 1 1 = 0 110 0
f(1, 1, 1) = 0 + 0 1 0 = 0 111 0

Dos funciones se dicen iguales si sus tablas de valores son iguales.

- Un literal es una varable booleana (x) o el complemento de una variable booleana (x).

- Un minterm (mintrmino) en las variables booleanas x1, x2, . . . , xn es un producto booleano y1 y2 . . .

yn, donde yi = xi o yi = xi. Un minterm es un producto de n literales con un literal por cada variable.

Los minterm se denotan de forma simplificada tomando un 1 por cada variable sin negar y 0 por cada variable
negada. Los posibles minterms para funciones de dos y tres variables son, respectivamente, los siguientes:
Minterm Variables Notacin
x1 x2 x3 000 0
x1 x2 x3 001 1
x1 x2 x3 010 2
x1 x2 x3 011 3
x1 x2 x3 100 4
x1 x2 x3 101 5
x1 x2 x3 110 6
x1 x2 x3 111 7

- Un maxterm en las variables booleanas x1, x2, . . . , xn es una suma booleana y1 +y2 +. . .+yn, donde yi = xi
o yi = xi. Por tanto, un maxterm es una suma de n literales con un literal por cada variable.

Los maxterm se denotan de forma simplificada tomando un 0 por cada variable sin negar y un 1 por cada variable
negada. Los posibles maxterm para funciones de dos y tres variables son, respectivamente, los siguientes:

Maxterm Variables Notacin

x1 + x2 + x3 111 7
x1 + x2 + x3 110 6
x1 + x2 + x3 101 5
x1 + x2 + x3 100 4
x1 + x2 + x3 011 3
x1 + x2 + x3 010 2
x1 + x2 + x3 001 1
x1 + x2 + x3 000 0
Teorema de expansin de Shannon- Cualquier funcin binaria puede expresarse en forma de suma de minterms o
en forma de producto de maxterms. Estas expresiones, que son nicas, reciben el nombre de representaciones
cannicas de la funcin.

A la suma de minterm que representa la funcin se le llama forma normal disyuntiva de la funcin booleana.
F(x, y, z) = xyz + xyz + xyz + xyz = (0, 2, 3, 5)

Al producto de maxterm que representa la funcin se le llama forma normal conjuntiva de la funcin booleana.
F(x, y, z) = (x + y + z) (x + y + z) (x + y + z) (x + y + z) = (1, 4, 6, 7)

Forma Normal Mtodo de Obtencin Convenio

Suma de productos de variables 0 variable negada
Disyuntiva cuyas combinaciones hacen 1 la 1 variable sin negar
funcin
Conjuntiva Producto de sumas de variables 0 variable sin negar
cuyas combinaciones hacen 0 la 1 variable negada
funcin

Tabla 1
Vamos a expresar en forma de suma de minterm y en forma de producto de maxterm la siguiente funcin f:
abc f Minterm Maxterm
0 000 0 a+b+c
1 001 0 a + b + c
2 010 1 abc
3 011 0 a +b + c
4 100 0 a + b + c
5 101 1 abc
6 110 0 a +b + c
7 111 1 abc

Las representaciones cannicas son, por tanto:

f(a, b, c) = (2, 5, 7) = abc + abc + abc
f(a, b, c) = (0, 1, 3, 4, 6) = (a + b + c)(a + b + c)(a +b + c)(a + b + c)(a +b + c)

Minimizacin de funciones
Minimizar una funcin es obtener la expresin ms simplificada posible para dicha funcin.
Dos minterms (maxterms) determinan un implicante de primer orden si la expresin de uno de ellos puede
obtenerse a partir de la del otro negando una sola variable. Por ejemplo, para funciones de tres variables
abc+abc; cundo se suman:
abc+abc = ac(b+b)= ac (implicante ac)

Dos implicantes de primer orden determinan un implicante de segundo orden si la expresin e uno de llos puede
obtenerse a partir de la del otro negando una sola variable. Por ejemplo abc y abc (implicante ac), abc
(implicante ac); si los sumamos
ac+ac= a(c+c) =a (implicante de segundo orden a)

Dos implicantes de segundo orden determinan un implicante de tercer orden si la expresin de uno de ellos
puede obtenerse a partir de la del otro negando una sola variable. Por ejemplo, abc, abc y abc (implicante
a), abc,abc, abc (implicante a); si los sumamos
a+a = 1
Diagramas de Karnaugh
Una tabla o diagrama de Karnaugh no es otra cosa que una presentacin alternativa de la misma informacin
contenida en una tabla de verdad.

El mapa de karnaugh para una funcin de dos variables es:

B b
A 0 1 a 0 1
0 ab ab 0 0 1
1 ab ab 1 2 3

2 variables Posiciones de las celdas

El mapa de Karnaugh para una funcin de tres variables es:

Bc bc
A 00 01 11 10 a 00 01 11 10
0 0 1 3 2 0 abc abc abc abc
1 4 5 7 6 1 abc abc abc abc

Posiciones 3 variables

El mapa de Karnaugh para una funcin de cuatro variables es:

Cd
Ab 00 01 11 10
00 0 1 3 2
01 4 5 7 6
11 12 13 15 14
10 8 9 11 10 4 variables

Minimizacin en suma de productos

El procedimiento a seguir se resume en las siguientes reglas:
- Extraer todos los implicantes de cualquier orden que no estn incluidos en otros y que contengan al
menos un 1 (se llaman implicantes primos de la funcin. Se empieza por los de mayor orden.
- Escoger de los implicantes primos aquellos que contengan algn uno en exclusiva, es decir, no
compartido (Implicantes primos de la funcin).
- En caso de que quede algn 1 por cubrir, escoger el de menos nmero de implicantes (y mayor orden
posible) necesario para cubrir todos los unos.

CD 1
Ab 00 01 11 10

00 1 1 2
01 1 1 -
11 - 1 1 -
10 1 1

3 4
Minimizacin en producto de sumas
El mtodo a seguir para realizar la minimizacin es igual que en la suma de producto cambiando lo siguiente:

- Colocar en el Mapa de Karnaugh los 0 y las indiferencias de la funcin

- Los implicantes estarn formados por celdas adyacentes que pueden contener tanto ceros como
indiferencias (deben contener al menos un 0)
- La obtencin de la expresin de cada implicante es la siguiente: por cada variable que no cambie en un
implicante, si es 0 tomar la variable tal cual y si es 1 tomar la variable negada. Sumar las variables
obtenidas de esta forma.

Tema 2: Conjuntos y aplicaciones

Conjuntos

1) Un conjunto es una coleccin de objetos bien definidos y diferenciables entre s. A los objetos que
constituyen un conjunto se les denomina elementos del mismo conjunto.
2) Los conjuntos se designan, habitualmente, por letras latinas maysculas; A, B, y los elementos por
letras latinas minsculas: a,b,
3) Si a es un elemento del conjunto A, se dir que pertenece al conjunto A, y se escribir a A. En caso
contrario, se dir que el elemento no pertenece al conjunto y se denotar aA.
4) Un conjunto A est bien definido cuando, dado un objeto cualquiera x, es cierta una y slo una, de las
proposiciones xA y xA.
5) Al conjunto que carece de elementos se le denomina conjunto vacio, y se denota por o por {}.
6) Un conjunto A es finito si tiene un nmero n N de elementos, este nmero se llama cardinal y se
denota |A| o #A. En caso contrario, se dice que A no es finito.

Un conjunto puede ser definido por extensin, enumerando todos y cada uno de los elementos que lo forman, o
por comprensin, diciendo cul es la propiedad que los caracteriza.

Inclusin
Dados dos conjuntos A y B, se dice que A es un subconjunto de B, y se expresa A B, cuando todos los
elementos de A son tambin elementos de B, es decir:
x [x A => x B]
- La expresin A est incluido en B se usa para indicar que A es un subconjunto de B
- Cuando A no est contenido en B, se escribir A B (a A tal que a B).
- Cualquier conjunto A, siempre admite como subconjuntos al conjunto vacio y al propio conjunto A.
Estos se denominan subconjuntos propios.
- Si B A y B = A, se dice que B est contenido estrictamente en A y se denota B A.

Dos conjuntos son iguales si, simultneamente, se verifica A B y B A.

El conjunto formado por todos los subconjuntos de uno dado A se denominan partes A y se denota P (A)
Si A y B son dos conjuntos cualesquiera, se verifica que
B P (A) B A
Si A es infinito y tiene cardinal n entonces P(A) es finito y tiene cardinal 2
Operaciones entre conjuntos

Lgica Boole Conjuntos

Negacin Complemento Complementario

Conjuncin Producto Interseccin
Disyuncin + Suma U Unin

Se consideran siempre que los conjuntos son subconjuntos de uno dado U, a dicho conjunto de referencia U se le
denomina conjunto universal o universo.
Dado un conjunto U y un subconjunto A U se llama complementario del conjunto A, y se denotar A, al
subconjunto de U forado por todos los elementos que o pertenecen a A.

Dado un conjunto U y dos subconjuntos suyos A y B, se verifica:

1) = U
2) U =
3) A = A
4) A B B A
Dados dos conjuntos A y B se llama unin de A y B, y se representa A U B, al conjunto formado por los elementos
que pertenecen a A o a B
A U B ={x; x A V x B}
Dados los conjuntos A, B y C, subconjuntos de U, la unin de conjuntos verifica las siguientes propiedades:
1) A (A U B), B (A U B)
2) A B A U B = B
3) A C ^ B C (A U B) C
4) AUA =A (Propiedad Idempotente)
5) A U B =B U A (Propiedad conmutativa)
6) A U (B U C)= (A U B) U C (Propiedad Asociativa)
7) AU U= U
8) A U = A
Dados dos conjuntos A y B se llama interseccin de A y B, y se representa A B, al conjunto formado por los
elementos que pertenecen a A y a B:
A B= {x; x A ^ x B}
Dados tres conjuntos A, B y C, subconjuntos de U, la interseccin verifica las siguientes propiedades:
1) A (A B), B (A B)
2) A B A B = B
3) A C ^ B C (A B) C
4) A A =A (Propiedad Idempotente)
5) A B =B A (Propiedad conmutativa)
6) A (B C) = (A B) C (Propiedad Asociativa)
7) A U=A
8) A = U
Dados tres conjuntos A,B y C, subconjuntos de U, se verifican las siguientes propiedades:
1) A U (B C) = (A U B) (A U C)
2) A (B U C) = (A B) U (A C)
3) A U A = U
4) A A =
5) (A U B) = A B (Primera Ley de De Morgan)
6) (A B) = A U B (Segunda ley de De Morgan)
7) (P(A), , , U) es un lgebra de boole

Si dos conjuntos no tienen ningn elemento en comn se dice que son disjuntos, es decir:
A y B son distintos A B =
Dados dos conjuntos A y B se llama diferencia entre A y B, y se representa A\B o A-B, al conjunto formado por los
elementos de A que no pertenecen a B
A\B = {x A; x B} A\B = A B

Producto cartesiano
Dados dos conjuntos A y B, se llama producto cartesiano de A por B, y se denota A x B, al conjunto constituido por
pares ordenados de elementos, e primero pertenece al conjunto A y el segundo al B.
A x B = {(a, b); a A ^ b B}
Dados n conjuntos 1 x 2 x ... x se define su producto cartesiano como:
1 x 2 x ... x = { (1 , 2 ,... , ); , = 1,2,,n}. Finalmente, si A y B son conjuntos finitos, tambin
lo es A x B y se tiene que: |A x B|= |A|.|A|

Aplicaciones
Sean A y B dos conjuntos no vacios. Una aplicacin f de A a B es una regla que asocia a cada elemento a de A un
nico elemento de B que se denomina imagen por f de a y se denota f(a).
El conjunto A se llama conjunto inicial, y el B conjunto final. La relacin entre a y b debida a f se suele representar
de la forma:
f:A B
a f(a) =b
Se suele denominar funcin a la correspondencia F: A B si A y B son conjuntos numricos.

Sea f: A B una aplicacin y sean 1 A y 1 B dos subconjuntos de A y B respectivamente. Definimos la

imagen por f del conjunto 1 como:
f(1 ):= {f(a); a 1 } B

y la imagen reciproca por f del conjunto 1 como:

1 (1 ):= {a A; f(a) 1 } A

Si tomamos como 1 = A, al conjunto f(A) = Im(f) le denominamos conjunto imagen.

Se dice que una aplicacin f: A B es :

1) Inyectiva si dos elementos distintos de A tienen diferente imagen en B

1 , 2 A [1 = 2 => f(1 ) = f( 2 )]
2) Sobreyectiva si todo elemento de B es imagen, al menos, de un elemento de A.
3) Biyectiva o biunvoca si es inyectiva y sobreyectiva.
Es interesante destacar que si los cnjunto A y B son finitos y f: A B es una aplicacin entre ellos, se verifica:
- Si f es inyectiva, entonces |A|=<|B|
- Si f es sobreyectiva, entonces |A|>=|B|
- Si f es biyectiva, entonces |A|=|B|

Si A y B son dos conjuntos finitos con el mismo cardinal y f: A B es una aplicacin entre ellos, son
equivalentes:
- f es inyectiva, sobreyectiva y biyectiva.

Dados tres conjunto A, B y C, y dos aplicaciones f y g tales que

F: A B g: B C
a f(a)=b b g(b)=c
Se llama composicin de f con g a la aplicacin:
g o f: A C
a (g o f)(a) = g [f(a)] = g(b) = c

Sean f: A B y g: B C dos aplicaciones cualesquiera. Se verifica:

- Si f y g son inyectivas, tambin lo es g o f
- Si f y g son sobreyectivas, tambin lo es g o f
- Si f y g son biyectivas, tambin lo es g o f

Se llama aplicacin identidad a una aplicacin de A a A de la forma:

: A
a () = a

Sea f: A B una aplicacin. Se llama aplicacin inversa de f, y se denota por 1, a una aplicacin
1 : B A tal que si b es un elemento de B,
1 () = a b= f(a)

Una aplicacin solo admite inversa s y slo si f es biyectiva.

Tema 3: Relaciones y Grafos

Relaciones
Si tenemos n conjuntos, con i= 1,..., n, se dice que un subconjunto R x x es una relacin sobre
1 , 2 , . . , . Dados dos conjuntos A y B, una relacin binaria de A en B es un subconjunto cualquiera R del
producto cartesiano A x B. Se dir que a A est relacionado con b B, y se denotara aRb, si el par ordenado
(a, b) pertenece a R. Dado un conjunto A, se llama relacin en A a cualquier subconjunto R A x A.

Propiedades de una relacin binaria

Una relacin binaria R en un conjunto A se dice que es:
- Reflexiva si
a A, aRa
- Simtrica si
1 , 2 A (1 R 2 => 2 1 )
- Antisimtrica si
1 , 2 A [(1 R 2 ) ^ ( 2 1 ) => 1 = 2 ]
- Transitiva si
1 , 2 , 3 A [(1 R 2 ) ^ ( 2 3 ) => 1 R 3 ]
Relaciones de equivalencia
Se dice que una relacin R e un conjunto A es una relacin de equivalencia si satisface las propiedades reflexiva,
simtrica y transitiva. Utilizamos el smbolo ~para referirnos a una relacin de equivalencia.
Sea ~ una relacin de equivalencia en un conjunto A y sean 1 , 2 A. Entonces:
o Los elementos 1 y 2 estn relacionados si y slo si determinan la misma clase de equivalencia.
Es decir: 1 ~ 2 si y slo si [1 ]=[ 2 ]
o Los elementos 1 y 2 no estn relacionados, 1 ~ 2 , si y slo si [1 ] [ 2 ]=

Una particin de A es una familia { } i I de subconjuntos no vacios de A que verifica las dos propiedades
siguientes:
- A =i I
- = , para todo i,j I, i= j.
Relaciones de Orden
Una relacin de orden en un conjunto A es una relacin < en A que es reflexiva, antisimtrica y transitiva. El par
(A, <) recibe el nombre de poset.
Una relacin de orden < en un conjunto A es de orden total si dados dos elementos cualesquiera, a, b de A,
siempre se pueden comparar.

El diagrama de hasse de un poset finito (A, <)

El diagrama de Hasse es una representacin simplificada del grafo de la relacin de orden. El diagrama es:
{1, 2, 3}

{1, 2} {1, 3} {2, 3}

{1} {2} {3}

Elementos distinguidos del poset
Un elemento m P es un maximal si para todo p P, m <=p implica m =p; es decir no hay elementos en P
estrictamente mayores que m.

Equivalentemente, un elemento n P es un minimal si, para todo p P, p<=n implica que p=n; es decir, no
hay elementos en P estrictamente menores que n.

Un elemento M P es mximo de P si p<= M para todo p P. De igual forma, un elemento m P si

m<=p, para todo p P.
Reglas:
- El mximo, si existe, es nico.
- El mnimo, si existe, tambin es nico.
- Si P es finito, P tiene mximo si, y solo si, tiene un nico maximal.
- Si P es finito, P tiene mnimo si, y solo si, tiene un nico minimal.

Un elemento a P es una cota superior de Q en P si q <= a, para cualquier q Q.

Un elemento b P es una cota inferior de Q en P si b <= q, para cualquier q Q.
Un elemento a P es supremo de Q si a es una cota superior de Q en P y, si b es otra cota superior de Q
en P, entonces a < b.
Un elemento c P es nfimo de Q si c e una cota inferior de Q en P, y si d es otra cota inferior de Q en P,
entonces d <= c.
Reglas:
- El supremo de Q, si existe, es nico.
- El nfimo de Q, si existe, es nico.
- Existe el mximo de Q si, y solo si, existe el supremo y este es un elemento de Q.
- Existe el mnimo de Q si, y solo si, existe el nfimo y este es un elemento de Q.

Grafos

Un grafo es un par G= (V, E), donde V es un conjunto finito no vaco cuyos elemento se llaman vrtices o nodos, y
que denotaremos por u, v, w,, y E es un conjunto cuyos elementos se llaman aristas. Si las aristas sonpares no
ordenados de vrtices de V, entonces diremos que el grafo G es no dirigido.

- Una arista puede unir un vrtice consigo mismo, lo que se llama un lazo.
- Un vrtice puede no estar conectado a ninguna arista, lo que se llama vrtice aislado.
- Un par de vrtices pueden estar conectados por ms de una arista, lo que recibe el nombre de arista
mltiple.
- Si el grafo no contiene ni aristas mltiples ni lazos, diremos que es un grafo simple.
- Un par de vrtices u y v son adyacentes si existe una arista e unindolos. Se dice entonces que e= {u, v}
incide e los vrtices u y v, o que la arista e conecta u y v.
- El grado de un vrtice v, a(v), es el nmero de aristas incidentes en v. Un lazo en v, contribuye con 2
unidades al grado del vrtice, los vrtices aislado tienen grado 0 y los vrtices con grado 1 se denominan
hojas.

Si G= (V, E) es un grafo con |V|= n, se dice que G es un grafo de orden n.

Lema de Handshanking : La suma de los grados de todos los vrtices de un grafo G= (V, E) es igual al doble del
nmero de aristas.
a() = 2 |E|

En un grafo el nmero de vrtices de grado impar es par.

Sea G= (V, E) un grafo. Si G= (V, E) es otro grafo donde V V y E E, se dice que G es un subgrafo de G.
Intuitivamente G es un subgrafo de G si podemos obtener el diagrama para G borrando algunos de los vrtices
y/o aristas del diagrama de G. Si borramos un vrtice, entonces debemos suprimir todas las aristas que inciden en
ese vrtice.

Sea G= (V, E) un grafo con V ={1 , , }. La matriz de adyacencia de G es la matriz A cuadrada de orden n cuyo
elemento es el nmero de aristas que unen el vrtice con el vrtice , i, j= 1,,n.
La matriz de adyacencia es necesariamente simtrica porque el nmero de aristas que unen y es el mismo
nmero de aristas que unen e . La matriz de adyacencia permite conocer fcilmente el grado de un vrtice
, sumando los elementos de la fila o de la columna i de A.

Sea G un grafo, A su matriz de adyacencia con respecto a la ordenacin 1 , 2 , , , y k un entero positivo. El

nmero de caminos de longitud k de a es igual al elemento de lugar (i, j) de la matriz

Un camino o trayectoria en un grafo G= (V, E) es una secuencia de aristas de la forma

1 = {0 , 1 }, 2 ={1 , 2 }, , ={1 , }

Se dir que 0 es el vrtice inicial y el vrtice final del camino; el nmero de aristas n, recibe el nombre de
longitud del camino.
Un camino en el que todos los vrtices son distintos se llama simple. Un camino en el que = 0 se llama circuito
o camino cerrado. Un camino simple y cerrado, conteniendo al menos una arista, recibe el nombre de ciclo. Un
lazo es un ciclo de longitud 1, y un camino de longitud 0 consiste en un nico vrtice.

Se dice que los vrtices u y v de un grafo G= (V, E) estn conectados si u =v, o si existe un camino que los une. Se
define una relacin binaria en V como sigue: v ~ w si y solo si v y w estn conectados.
Un grafo se dice conexo si tiene una nica componente conexa, es decir, todos los vrtices del grafo estn
relacionados. En caso contrario, el grafo se dice disconexo.

Para comprobar si un grafo de orden n es conexo podemos utilizar la matriz de adyacencia A del grafo. Un grafo G
es conexo si, y solo si, los elementos no diagonales de A + 2 +3 ++1 son todos no nulos.

Una arista e= { , } de un grafo se dice una arista de separacin si al suprimir dicha arista, el conjunto de
vrtices conectados con y el conjunto de vrtices conectados con son disjuntos en el grafo resultante.

Un vrtice v de un grafo G es un punto de corte si al suprimir ese vrtice y las aristas incidentes en l, el grafo que
resulta tiene ms componentes conexas que el grafo inicial.

Grafos Eulerianos

En un grafo G, llamaremos camino euleriano a un camino que contiene a todas las arista del grafo, apareciendo
cada arista exactamente una sola vez. Llamaremos circuito euleriano a un camino euleriano cerrado.

Un grafo euleriano es un grafo que admite un circuito euleriano. Un grafo semieuleriano es un grafo que admite
un camino euleriano no cerrado.

Teorema de Euler: Un grafo G= (V, E) es euleriano si, y solo si, todo vrtice de G tiene grado par.
Un grafo conexo G es semieuleriano si, y solo si, tiene exactamente dos vrtices impares.

Si G es un grafo euleriano siempre es posible seguir a la siguiente construccin de un ciclo eualeriano.

Algoritmo de Fleury: Sea G un grafo euleriano. Comenzando en un vrtice cualquiera del grafo, se recorren las
aristas formando un camino y verificando las siguientes condiciones:
- Cada arista se elimina del grafo una vez atravesada. De forma opcional se pueden suprimir los vrtices
que hayan quedado aislados.
- Slo se selecciona una arista de separacin cuando es la ltima arista del vrtice.

Grafos Hamiltonianos

Un camino hamiltoniano es un camino que recorre todos los vrtices de un grafo sin pasar dos veces por un
mismo vrtice. Si el camino es cerrado se dice un ciclo hamiltoniano. Un grafo G se dice haliltoniano si tiene un
ciclo hamiltoniano.

1
Si G es un grafo simple conexo con n(>=3) vrtices y si el grado a(v) >= 2n para todo vrtice v, entonces G es
hamiltoniano.

rboles generadores, grafos ponderados

Un rbol es un grafo conexo y sin circuitos. Puesto que un rbol no puede tener circuitos, tampoco puede tener
lazo o aristas mltiples, por tanto, es un grafo simple.
Sea G un grafo conexo. Un rbol generador (o recubridor) de G es un subgrafo T de G que es un rbol y que
contiene todos los vrtices de G. Todo grafo conexo tiene un rbol generador. Por lo general, dado un grafo
conexo G, podemos tener diferentes rboles generadores.

Un grafo ponderado es un grafo G= (V, E) junto con una funcin

w: E + U {0}
Si e es una arista de G, el nmero w(e) se llama peso de la arista e.

Un rbol generador mnimo de un grafo ponderado conexo es un rbol generador tal que su peso es el mnimo
posible de entre todos los rboles generadores.

Algoritmo de Prim:
1) Se elige un vrtice cualquiera
2) Se considera el conjunto de aristas que son incidentes con uno de los vrtices de . De todas las que no
generan un ciclo, se elige la de menor peso.
3) Se repite el paso 2 hasta que no sea posible adjuntar una arista adicional a sin crear un ciclo.
El rbol resultante es un rbol generador mnimo

Tema 4: Combinatoria
Principio del producto

Sean { ; i= 1,, n} conjuntos finitos. Entonces:

|1 x 2 x x |= =1 | |

Principio de distribucin del palomar

Sean m, n y tres nmeros naturales. Si desean colocar np+m objetos en n cajas, alguna caja debe contener al
menos p+1 objetos.
Demostracin. Si cada caja contiene como mucho p objetos, el nmero total de objetos que podemos colocar es
np < np+1 <= np+m

Variaciones (Importa el orden)

- Sin repeticin
Se A={1 , 2 ,... , } un conjunto finito de n elementos y r un numero natural menor o igual que n. Una variacin
(ordinaria o sin repeticin) de los n elementos de A de orden r es una seleccin o lista ordenada de r elementos
distintos de A. Dos variaciones son distintas si se diferencian en algn elemento o en la posicin de alguno de
estos en la variacin.
!
El nmero de variaciones de un conjunto de n elementos de orden r es V(n, r) = n(n-1)(n-r+1) =
()!

- Con repeticin
Se A={1 , 2 ,... , } un conjunto finito de n elementos y r un numero natural. Una variacin con repeticin de
los n elemento de A de orden r es una seleccin o lista ordenada de r elementos, no necesariamente distintos, de
A.
En general, dos variaciones con o sin repeticin de un conjunto A de orden r son distintas si en alguna de las r
selecciones o posiciones los correspondientes elementos de A son diferentes.

El nmero de variaciones con repeticin de un conjunto de n elementos de orden r es VR(n, r)=
Permutaciones (Importa el orden)

- Sin repeticin
Se A={1 , 2 ,... , } un conjunto finito de n elementos. Una permutacin de conjunto A es una aplicacin
biyectiva de A en A. El conjunto de las permutaciones de A se representa por .

El numero de permutaciones de un conjunto de n elementos es P(n) = n!= n (n-1)21

- Con repeticin
Consideremos n objetos, distribuidos en r tipos o clases distintas. Los objetos de un mismo tipo son iguales entre
s, pero diferentes de los de cualquier otro tipo. Hay 1 objetos del tipo 1, 2 objetos del tipo 2 y, sucesivamente,
objetos del tipo r; as n= 1 + 2 + + . Las distintas permutaciones se pueden hacer en estas condiciones
reciben el nombre de permutaciones con repeticin de n objetos con 1 , 2 ,.., repeticiones y su nmero es
!
PR(n; 1 , 2 ,, ) =
1 ! 2! !
Con n= 1 + 2 + + .

Combiaciones (No importa el orden)

- Sin repeticin
Se A={1 , 2 ,... , } un conjunto finito de n elementos y r un numero natural menor o igual que n. Una
combinacin (ordinaria o sin repeticin) de los n elementos de A de orden r es un subconjunto (seleccin no
ordenada) de r elementos distintos de A. Dos combinaciones son diferentes si difieren en alguno de sus
elementos.

El nmero de combinaciones de un conjunto de n elementos de orden r es

!
C(n,r) = (
! )!
Para todo 0<= r<=n.

- Con repeticin
Se A={1 , 2 ,... , } un conjunto finito de n elementos y r un numero natural menor o igual que n. Una
combinacin con repeticin de los n elementos de A de orden r es una seleccin no ordenada de r elementos no
necesariamente distintos, de A. Dos combinaciones de orden r son distintas si el nmero de apariciones de algn
elemento de A en las selecciones es diferente.
El nmero de combinaciones con repeticin de un conjunto de n elemento de orden r es
n+r-1
CR(n,r) = C(n+r-1, r) = n-1
Binomio de Newton
Sean x, y dos variables y n un nmero natural, se tiene que

( + ) = =0 = =0

Multinomio de Leibniz

Sean 1 , 2 , , variables y sean n un numero natural

( 1 + 2 + + ) = ( 1 + + )= (; 1 , 2 , , ) 1122
Siendo 1 , 2 , , nmeros naturales
!
PR(n; 1 , 2 ,, ) =
1 ! 2! !
Principio de Inclusin-Exclusin

En su forma ms simple, el principio dice que si A y B son dos conjuntos finitos, entonces
|A B| = |A| + |B| |A B|.
En efecto, los elementos que pertenecen a ambos conjuntos se cuentan dos veces, una en el cardinal de A y otra
en el cardinal de B. Para evitar esto se resta el nmero de elementos de A B. Para el caso de tres conjuntos A, B
y C el principio es
|A B C| = |A|+ |B|+ |C| (|A B| + |B C|+ |A C|) + |A B C|.

Sea S un conjunto finito y Pi, i = 1, 2, . . . , n, una coleccin de propiedades sobre los elementos de S. Se definen
los subconjuntos Si de S
= {x S ; x verifica la propiedad }, i = 1, 2, . . . , n

El conjunto
=1 = {x S ; x verifica alguna propiedad };

por otra parte, el conjunto

=1 = {x S ; x no verifica ninguna propiedad }

siendo uno el complementario del otro:

=1 = =1 .

Teoremas

- |=1 | = |S| - =1| | + 1< | |+ + (1) | | =

= |S| + =1(1) 11 <2 <..< < |1 2 |.

- |=1 | = =1| | - 1< | |+ + (1)1 |1 | =

= =1(1)1 11 <2 <..< < |1 2 |.

Equivalencia:

|=1 | = |S| - | =1 |

Desrdenes

Un desorden es una permutacin de un conjunto finito en la cual ningn elemento es la imagen de s mismo; en
otras palabras, una permutacin que no deja a ningn elemento en su posicin original. El nmero de desrdenes
de un conjunto de n elementos es:

(1)
d(n) = =0(1) () (n - k)! = n! =0 ( k! )
 Tema 5: Mquinas de estado finito y expresiones regulares
Una mquina de estado finito son salida M= (S, I, O, f, g, 0 ) consiste en un conjunto finito de estados S, un
alfabeto de entradas I, un alfabeto de salidas O, un estado inicial 0 , una funcin de transicin f: S x I S y una
funcin de salida g: S x I O.

Una mquina salida M= (S, I, O, f, g, 0 ) puede describirse por una tabla de estados, que indica los valores de las
funciones f y g, o por n diagrama de estados. Un diagrama de estados es un grafo dirigido donde los vrtices
representan los estados de la mquina y el peso de las aristas ser el primer valor el de entrada y el segundo
valor, el de salida.

i, o
S S

Ejemplo tabla de estados:

Estados Transicin Salida

Entrada Entrada
0 1 0 1
0 1 0 0 0
1 2 1 1 1
2 2 0 0 1

Ejemplo de diagrama:
0,0 1,1
0 1
1,0
1,1 0,1
2

0,0

Autmatas finitos

Un autmata finito (determinista) es un modelo matemtico de una mquina que permite saber si una cadena de
smbolos pertenece o no a un lenguaje definido sobre cierto alfabeto. Consiste en un conjunto finito de estados y
un conjunto de transiciones entre estos estados, que dependen de los smbolos de la cadena de entrada. El
autmata acepta una cadena de entrada si al terminar de leer todos los smbolos de esa cadena la mquina est
en alguno de los posibles estados finales; si el estado no es final, entonces la cadena no pertenece al lenguaje que
reconoce la mquina.

Un autmata finito M = (S, I, f, 0 , F) consiste en un conjunto finito de estados S, un alfabeto de entradas I, un

estado inicial 0 , una funcin de transicin f : S I S y un conjunto F de estados finales o de aceptacin (F
S). En el diagrama de transicin de un autmata finito los estados finales estn encerrados en un crculo doble.
Para cada estado y un smbolo de entrada a hay una nica flecha de a f ( , a), que se etiqueta como a.
Lenguaje aceptado por un autmata

Dado un alfabeto cualquiera I se define I como el conjunto de todas las cadenas finitas que se pueden formar
con los elementos de I.

Dado un alfabeto I, un lenguaje sobre I es un subconjunto de I*

La funcin de transicin f: S I S de un autmata se puede extender a una funcin f* : S I* S definida

del modo siguiente: dado t S y x = 1 . . . I*, llamaremos
0 = t y = f(1, )
para i = 1, 2, . . . , k. De este modo, f*(t, x):= . Para cualquier estado s S, se tiene que f* (s , ) = s.

Se dice que una palabra o cadena x = 1 . . . I* es aceptada o reconocida por el autmata M si f*(0, x)
F. El lenguaje reconocido o aceptado por M, denotado por L (M), es el conjunto de todas las cadenas reconocidas
por M. Se dice que dos autmatas son equivalentes si ambos reconocen el mismo lenguaje.
Si F = {1, . . . , }, se cumple que
L (M) = =1{ I / f (0 , ) = }

En los autmatas M1, M2 y M3 de los ejemplos anteriores, se tiene que:

- El nico estado final de M1 es 0. Las cadenas que transforman el estado 0 en s mismo son la cadena
vaca y cualquier cadena formada solo por unos. Por lo tanto, L (M1) = {1n ; n = 0, 1, 2, . . .}.
- El nico estado final de M2 es 2. Las nicas cadenas que transforman el estado inicial 0 en 2 son 1 y 01.
Por lo tanto, L(M2) = {1, 01}.
- Los estados finales de M3 son 0 y 3. Las nicas cadenas que transforman el estado inicial 0 en 0 son ,
0, 00, 000, . . ., es decir, la cadena vaca y cualquier cadena con ceros consecutivos. Por otra parte, las
nicas cadenas que transforman 0 en 3 son las cadenas que comienzan por uno o ms ceros
consecutivos, seguidos de la cadena 10, seguidos por cualquier cadena. Por lo tanto,

L (M3) = {0n, 0n10x ; x cualquier cadena binaria, n = 0, 1, 2, . . .}.

Expresiones regulares y conjuntos regulares

Sean I un alfabeto y A y B dos subconjuntos de I*. La concatenacin de A y B, que se denota por AB, es el conjunto
de todas las cadenas xy donde x es un elemento de A e y un elemento de B.
A partir del concepto de concatenacin, se define , con A un subconjunto de I y n = 0, 1, 2, . . ., de forma
recursiva por 0 = {} y +1 = A para n = 0, 1, 2, . . .
Se llama cierre o clausura de Kleene del conjunto A, y se denota por A*, al conjunto que contiene cualquier
concatenacin de cadenas de A, es decir,
A* = =0( ).
Dado un alfabeto I, las expresiones regulares sobre I se definen por recurrencia del modo siguiente:
- el smbolo y el smbolo son expresiones regulares,
- el smbolo x para cada x I es una expresin regular,
- si a y b son expresiones regulares sobre I, entonces ab, a v b y a* son expresiones regulares.

Los conjuntos regulares sobre I son subconjuntos de I que se definen por recurrencia del modo siguiente:
- y { } son conjuntos regulares,
- Para cada x I, {x} es un conjunto regular,
- Si A y B son conjuntos regulares, AB, A U B y A* son conjuntos regulares.

El lenguaje L(M) reconocido por un autmata finito M =(S, I, f, s0, F) es un lenguaje regular sobre I.
Un lenguaje L sobre un alfabeto I es regular si, y slo si, existe un autmata finito M, con conjunto de entradas I,
tal que L = L(M).
- para 10*, {1, 10, 100, . . .} = {10n ; n = 0, 1, . . .}
- para (10), { , 10, 1010, . . .} = {(10)n ; n = 0, 1, . . .}
- para 10, {1n0m ; n,m = 0, 1, . . .}
- para 0 v 01, {0, 01}
- para (0 v 1), {cadenas binarias de cualquier longitud}
- para 0(0v1), {cadenas binarias de cualquier longitud que empiezan por 0}
- para (0 *1), {1, 01, 001, . . .} = {0n1 ; n = 0, 1, . . .}
- para (0*1)*, { , 1, 01, 001, . . . , 11, 101, 1001, . . .} = {} [ {x1; x 2 I*}.

Simplificacin de autmatas finitos

La simplificacin de un autmata finito M implica la identificacin de estados equivalentes en M de manera que
podamos obtener un autmata con menos estados que acepte el mismo lenguaje.

Si M = (S, I, f, 0, F) es un autmata finito, dos estados , S son *-equivalentes si para toda cadena x I, se
verifica que
f( , x) F f( , x) F.
Esta situacin la denotaremos si R e indica que, para cualquier cadena de entrada, ambos estados son
terminales o ninguno de ellos lo es.

Si M = (S, I, f, 0, F) es un autmata finito y k es un nmero natural, dos estados , S son k-equivalentes si

para toda cadena x I de longitud menor o igual que k, se verifica que
f( , x) F f( , x) F.

Esta situacin la denotaremos . es una relacin de equivalencia en el conjunto de estados S y divide al

conjunto S en clases de equivalencia (particin). Se verifica:
- Para cada k 1, se tiene que si dos estados son k-equivalentes, tambin son (k 1)-equivalentes.
- Para cada k 1, una clase de equivalencia de la relacin es un subconjunto de una clase de
equivalencia de la relacin 1 .
- Dos estados son *-equivalentes si, y slo si, son k-equivalentes para cualquier k 0.

Dos estados y son k-equivalentes si, y slo si, son (k1)- equivalentes y para cualquier n I se tiene que
f ( , n) y f ( , n) son (k1) - equivalentes.

Dado un autmata M, existe un entero k tal que las relaciones y +1 son iguales y, en consecuencia, son
iguales a la relacin R. Por lo tanto, los conjuntos cocientes de las tres relaciones coinciden.

Dado un autmata M = (S, I, f, 0, F), si R entonces f( , n)R f( , n) para cualquier n I.

0
1 0 1
1 0 0
0 1 2 1 0
1 0 1 2
1 1 0 0 1

4 0 3 Simplificado