INSTITUTO POLITECNICO NACIONAL ESCUELA SUPERIOR DE COMPUTO INGENIERIA EN SISTEMAS COMPUTACIONALES

A LAS UNA INTRODUCCION MATEMATICAS DE LA COMPUTACION

Notas de Matem aticas Discretas

OCTUBRE 2007

 Indice general
A LA LOGICA UNIDAD I: INTRODUCCION Conceptos y deniciones C alculo proposicional Tautolog as, contradicciones y contingencias Equivalencias l ogicas Algebra de proposiciones

Inferencia l ogica Deniones b asicas Leyes de inferencia Demostraci on de argumentos Funciones l ogicas y cuanticadores Funciones l ogicas y conjunto de v alidez Uso de cuanticadores: funci on de una, dos y tres variables UNIDAD II: TEOR IA DE CONJUNTOS Principios b asicos Deniciones b asicas Conjuntos nitos e innitos Representaci on de un conjunto Conjunto universo o conjunto de discusi on Conjunto vac o Igualdad de conjuntos Subconjuntos Cardinalidad Conjunto potencia Uni on Intersecci on Complemento Complemento relativo o diferencia Diferencia sim etrica Producto cartesiano

Operaciones entre conjuntos

Algebra de conjuntos i

ii UNIDAD III: RELACIONES Deniciones b asicas Relaciones binarias Dominio e imagen de una relaci on Representaci on de una relaci on Composici on de relaciones Propiedad Propiedad Propiedad Propiedad Propiedad reexiva irreexiva sim etrica antisim etrica transitiva

Propiedades de las relaciones

Relaciones de orden Relaciones de equivalencia Clases de equivalencia El conjunto cociente Funciones UNIDAD IV: LOS NUMEROS REALES El principio de inducci on matem atica Los n umeros enteros Descripci on y operaciones Propiedades La congruencia m odulo n Expansi on en base b de un n umero entero

Los n umeros racionales Descripci on y operaciones Propiedades Los n umeros reales Descripci on y operaciones Propiedades Expansi on en base b de un n umero real UNIDAD V: TEOR IA DE GRAFOS Deniciones b asicas de grafos Grafos y digrafos Grado interior y exterior de un v ertice Representaci on de un grafo Caminos y circuitos Deniciones b asicas Grafos conexos Circuitos Eurelianos

iii Ciclos Hamiltonianos Arboles Arboles enraizados Arboles binarios y n-arios Un algoritmo del camino m as corto Isomorsmos de grafos Grafos planos UNIDAD VI: ALGEBRA BOOLEANA Y CIRCUITOS COMBINATORIOS Compuertas l ogicas Compuerta Compuerta Compuerta Compuerta Compuerta AND OR NOT NAND NOR

Algebra Booleana Denici on Algebra de Boole bivalente Propiedades de las algabras booleanas Funciones Booleanas Simplicaci on de funciones booleanas usando algebra booleana Simplicaci on de funciones booleanas usando mapas de Karnaugh

 Indice general
A LA LOGICA I. UNIDAD I: INTRODUCCION i. Conceptos y deniciones 1. 2. 3. 4. C alculo proposicional Tautolog as, contradicciones y contingencias Equivalencias l ogicas Algebra de proposiciones

ii. Inferencia l ogica 1. Deniciones b asicas 2. Leyes de inferencia 3. Demostraci on de argumentos iii. Funciones l ogicas y cuanticadores 1. Funciones l ogicas y conjunto de v alidez 2. Uso de cuanticadores: funci on de una, dos y tres variables II. UNIDAD II: TEOR IA DE CONJUNTOS i. Principios b asicos 1. 2. 3. 4. 5. 6. 7. 8. 9. Deniciones b asicas Conjuntos nitos e innitos Representaci on de un conjunto Conjunto universo o conjunto de discusi on Conjunto vac o Igualdad de conjuntos Subconjuntos Cardinalidad Conjunto potencia

ii. Operaciones entre conjuntos 1. Uni on 2. Intersecci on 3. Complemento 4. Complemento relativo o diferencia 5. Diferencia sim etrica 6. Producto cartesiano iii. Algebra de conjuntos i

ii III. UNIDAD III: RELACIONES i. Deniciones b asicas 1. 2. 3. 4. 1. 2. 3. 4. 5. Relaciones binarias Dominio e imagen de una relaci on Representaci on de una relaci on Composici on de relaciones Propiedad Propiedad Propiedad Propiedad Propiedad reexiva irreexiva sim etrica antisim etrica transitiva

ii. Propiedades de las relaciones

iii. Relaciones de orden iv. Relaciones de equivalencia 1. Clases de equivalencia 2. El conjunto cociente v. Funciones IV. UNIDAD IV: LOS NUMEROS REALES i. El principio de inducci on matem atica ii. Los n umeros enteros 1. 2. 3. 4. Descripci on y operaciones Propiedades La congruencia m odulo n Expansi on en base b de un n umero entero

iii. Los n umeros racionales 1. Descripci on y operaciones 2. Propiedades iv. Los n umeros reales 1. Descripci on y operaciones 2. Propiedades 3. Expansi on en base b de un n umero real V. UNIDAD V: TEOR IA DE GRAFOS i. Deniciones b asicas de grafos 1. Grafos y digrafos 2. Grado interior y exterior de un v ertice 3. Representaci on de un grafo ii. Caminos y circuitos 1. Deniciones b asicas 2. Grafos conexos 3. Circuitos Eurelianos

iii 4. Ciclos Hamiltonianos iii. Arboles 1. Arboles enraizados 2. Arboles binarios y n-arios iv. Un algoritmo del camino m as corto v. Isomorsmos de grafos vi. Grafos planos VI. UNIDAD VI: ALGEBRA BOOLEANA Y CIRCUITOS COMBINATORIOS i. Compuertas l ogicas 1. Compuerta AND 2. Compuerta OR 3. Compuerta NOT 4. Compuerta NAND 5. Compuerta NOR ii. Algebra booleana 1. Denici on 2. Algebra de Boole bivalente 3. Propiedades de las algabras booleanas iii. Funciones booleanas 1. Simplicaci on de funciones booleanas usando algebra booleana 2. Simplicaci on de funciones booleanas usando mapas de Karnaugh