9 96 60 01 12 28 8 T TE EO OR R A A D DE E L LA A C CO OM MP PU UT TA AC CI I N N 2 20 01 13 3I I

Referencia Bibliogrfica:
PRINCIPAL:
- Elements of the Theory of Computation - Harry Lewis & Christos Papadimitriou

RECOMENDADOS:
- Introduction to Automata Theory, Languages, and Computation - John Hopcroft, Rajeev Motwani,
Jeffrey Ullman
- (en biblioteca) Teora de la computacin - Glenn Brookshear
- (en biblioteca) Teora de Autmatas y Lenguajes Formales - Dean Kelley
- Teora de Autmatas y Lenguajes Formales - Enrique Alfonseca Cubero, Manuel Alfonseca Moreno,
Roberto Moriyn Salomon

I.- Preliminares: Teora de Conjuntos, Relaciones, Funciones y Conteo
I.1.- Teora de Conjuntos
a) Definicin de conjunto
+ Pertenencia, Subconjunto y Subconjunto Propio
+ Conjunto Vaco
b) Operaciones con conjuntos
+ Unin, Interseccin, Complemento, Resta, Resta Simtrica
+ Producto Cartesiano
+ Operaciones con el Conjunto Vaco
c) Conjunto Potencia y Particin
I.2.- Relaciones y Funciones
a) Relaciones
+ Composicin e Inversin
+ R_AB vs. R_AA
+ Reflexividad y Transitividad
+ Simetra vs. Antisimetra
+ Relaciones de Equivalencia
+ Relaciones de Orden Parcial y Orden Total
+ Clausura y Cerradura de una Relacin
b) Funciones
+ Dominio y Rango
+ Inyectivas
+ Sobreyectivas
+ Biyectivas (Inversibilidad)


EJERCICIOS
1. Determine si las siguientes proposiciones son ciertas o falsas:
1.1. C_C
1.2. CeC
1.3. Ce{C}
1.4. C_{C}
1.5. {a,b}e{a,b,c,{a,b}}
1.6. {a,b}_{a,b,{a,b}}
1.7. (a,b}_2
{a,b,{a,b}}

1.8. {{a,b}}e2
{a,b,{a,b}}

1.9. {a,b,{a,b}} {a,b} = {a,b}
2. Resuelva las siguientes operaciones:
2.1. ({1,3,5}{3,1}){3,5,7}
2.2. {3}{3,5}({5,7}{7,9})
2.3. 2
{7,8,9}
2
{7,9}

2.4. 2
C

3. Sea S={a,b,c,d}
3.1. Qu particin de S tiene la menor cantidad de miembros?
3.2. Qu particin de S tiene la mayor cantidad de miembros?
3.3. Liste todas las particiones con exactamente dos miembros.
4. Escriba explcitamente los siguientes conjuntos:
4.1. {1}{1,2}{1,2,3}
4.2. C{1,2}
4.3. 2
{1,2}
{1,2}
5. Sea la relacin: R={(a,b), (a,c), (c,d), (a,a), (b,a)}
5.1. Escriba explcitamente RR y diga si es funcin.
5.2. Escriba explcitamente R
-1
y diga si es funcin.
6. Considere los siguientes grafos de las relaciones R y S.
R S

6.1. Indique para cada relacin si es Reflexiva, Transitiva, Simtrica o Antisimtrica.
6.2. Repita 6.1. para RS
7. Sea ]:AB. Muestre que la siguiente relacin R es de Equivalencia en A: (a,b)eR](a)=](b)
8. Para las relaciones R_AA definidas debajo, indique cules son rdenes Parciales y cules rdenes
Totales:
8.1. A = Enteros positivos; (a,b)eRb es divisible entre a.
8.2. A = N; (a,b)eRb=av b=a+1.
8.3. A = Conjunto de todas las palabras en espaol; (a,b)eRa no es ms larga que b.
9. Muestre que si S es una Coleccin de Conjuntos, entonces R
S
={(A,B):A,BeS.A_B} es un Orden Parcial.
9.1. Considere S=2
{1,2,3}
. Escriba el grafo de R
S
. Cules son los elementos minimales y maximales de R
S
?