C. Ing.

Gilberto Lpez Pedraza

Presidente del H. Consejo Tcnico de la
Facultad de Ingeniera Elctrica
Presente.

Morelia, Mich., a 18 de Febrero de 2008

Por este medio y cumpliendo con la tarea encomienda por la Academia de Computacin
me permito presentar la propuesta de modificacin a la materia de Matemticas
Discretas.

A continuacin se describen y justifican los cambios introducidos respecto a la

propuesta aprobada por el H. Consejo Universitario:

1) Se modifica el programa sinttico de acuerdo a la siguiente tabla

Propuesta original Propuesta modificada
1. Mtodos de demostracin 7 horas 1. Mtodos de demostracin 7 horas
2. Induccin matemtica 7 horas 2. Induccin matemtica 7 horas
3. Conjuntos 2 horas 3. Conjuntos 2 horas
4. Funciones 4 horas 4. Funciones 4 horas
Examen 1 2 horas Examen 1 2 horas
5. Complejidad de algoritmos 10 horas 5. Tcnicas de conteo 10 horas
Examen 2 2 horas Examen 2 2 horas
6. Relaciones 6 horas 6. Relaciones 6 horas
7. Estructuras algebraicas 8 horas 7. Estructuras algebraicas 8 horas
8. Grafos 8 horas 8. Grafos 8 horas
9. Arboles 6 horas 9. Arboles 6 horas
Examen 3 2 horas Examen 3 2 horas

Justificacin:

1. Todo programa de Matemticas Discretas debera incluir Tcnicas de conteo,

me refiero a: La regla de la adicin; la regla del producto; la regla de la potencia;
el principio de inclusin-exclusin; conteo de particiones ordenadas;
combinaciones y permutaciones; colocar objetos en cajas; el principio de las
casillas (o de la pichonera); conjuntos infinitos contables y el procedimiento
diagonal de Cantor. Cabe mencionar que estos subtemas tampoco estn incluidos
en la Materia de Probabilidad y Estadstica. Por otra parte, el tema de
Complejidad de algoritmos se cubre en la materia de Analisis de
Algoritmos. En resumen se cambi el Tema de Complejidad de Algoritmos por el
de Tcnicas de Conteo.
2. En el Tema de Grafos se agreg el subtema: Algoritmo de Dijkstra debido a
su importancia en redes de computadoras.

Se estima que la modificacin al programa de la materia es de un 20% aproximadamente

Atentamente,

____________________________
Dr. Jos Antonio Camarena Ibarrola
Jefe de la Materia de Matemticas Discretas
Nombre de la materia : MATEMTICAS DISCRETAS
Clave: CI7000-T
No. De horas /semana : 4
Duracin semanas: 16
Total de Horas : 64
No. De crditos : 8
Prerrequisitos : IA7000-T

Objetivo
Que el alumno adquiera las bases mnimas de matemticas discretas para proseguir su desarrollo en cualquier rama de las ciencias
computacionales.

Contenido sinttico
1. Mtodos de demostracin 7 horas
2. Induccin matemtica 7 horas
3. Conjuntos 2 horas
4. Funciones 4 horas
Examen 1 2 horas
5. Tcnicas de conteo 10 horas
Examen 2 2 horas
6. Relaciones 6 horas
7. Estructuras algebraicas 8 horas
8. Grafos 8 horas
9. Arboles 6 horas
Examen 3 2 horas

Bibliografa bsica

Kenneth H. Rosen. Matemtica discreta y sus aplicaciones. McGraw Hill. 5th Edition, 2004.

Kenneth A. Ross y Charles R.B. Wright. Matemticas Discretas. Prentice Hall. 5th Edition, 2002.

James L. Hein. Discrete Structures, Logic, and Computability. Jones and Bartlett Publishers, Inc. 2nd Edition. 2001.

Alfred V. Aho. y Jeffrey D. Ullman. Foundations of Computer Science, C Edition. W.H. Freeman, 1995.

Metodologa de enseanza-aprendizaje:

Revisin de conceptos, anlisis y solucin de problemas en clase: (X)

Lectura de material fuera de clase: (X)
Ejercicios fuera de clase (tareas): (X)
Investigacin documental: ( )
Elaboracin de reportes tcnicos o proyectos: ( )
Prcticas de laboratorio en una materia asociada: ( )
Visitas a la industria: ( )

Metodologa de evaluacin:
Asistencia: (X)
Tareas: (X)
Elaboracin de reportes tcnicos o proyectos: ( )
Exmenes de Academia o Departamentales (X)

Contenido desarrollado

1. Mtodos de demostracin 7 horas

Introduccin, reglas de inferencia, argumentos vlidos, resolucin, falacias, mtodos para demostrar teoremas: demostracin
directa, indirectas, vacuas o triviales, por contradiccin, por casos, por equivalencia, teoremas y cuantificadores y errores en las
demostraciones.

2. Induccin matemtica 7 horas

Introduccin, induccin simple, fuerte, ejemplos.

3. Conjuntos 2 horas
Definiciones, igualdad, subconjuntos, cardinalidad, conjunto potencia, producto cartesiano. Operaciones con conjuntos: unin,
interseccin, diferencia, complemento, identidades entre conjuntos, uniones e intersecciones generalizadas, representacin de
conjuntos en una computadora.

4. Funciones 4 horas
Definiciones, funciones inyectivas, sobreyectivas e biyectivas, funciones inversas, composicin de funciones, grficas de una
funcin y ejemplos de funciones.
Examen 1 2 horas

5. Tcnicas de conteo 10 horas

Regla de la adicin. Regla del producto. Regla de la potencia. Principio de inclusin-exclusin. Conteo de particiones ordenadas.
Combinaciones y Permutaciones. Colocando objetos en cajas. El principio de las casillas (o de la pichonera). Conjuntos infinitos
contables. Procedimiento diagonal de Cantor.
Examen 2 2 horas

6. Relaciones 6 horas
Relaciones y sus propiedades. Relaciones n-arias y sus aplicaciones. Representacin de relaciones. Cierre de relaciones. Relaciones
de equivalencia. rdenes parciales.

7. Estructuras algebraicas 8 horas

Introduccin, operaciones internas, homomorfismos, isomorfismos. Grupos, anillos y cuerpos. Tipos de datos abstractos como
lgebras.

8. Grafos 8 horas
Introduccin, terminologa, representacin e isomorfismo de grafos. Conexin, caminos Eulerianos y Hamiltonianos, caminos de
longitud mnima, grafos planos, coloreado de grafos. Algoritmo de Dijkstra.

9. Arboles 6 horas
Introduccin. Aplicaciones de los rboles. Recorridos de rboles. rboles generadores. rboles generador mnimo.

Examen 3 2 horas

Programa propuesto por M. C. Jos Antonio Camarena Ibarrola para el semestre Agosto 2007/ Enero de 2008