1.

- DATOS DE LA ASIGNATURA Nombre de la asignatura Carrera Clave de la asignatura Crditos SATCA Matemticas Discretas Ingeniera Informtica IFF-1025 3-2-5

2.- PRESENTACIN Caracterizacin de la asignatura.

Esta asignatura apoyar al alumno en la consecucin de las siguientes competencias: Analizar, desarrollar y programar modelos matemticos, estadsticos y de simulacin. Identificar, disear, desarrollar los mecanismos de distribucin, visualizacin y manipulacin de la informacin. almacenamiento,

Identificar y aplicar modelos pertinentes en el diseo e implementacin de base de datos para la gestin de la informacin en las organizaciones.

Su diseo est acorde a los requisitos contemplados en el perfil de la Ingeniera en Informtica de la Direccin de Educacin Superior Tecnolgica. Ya que permite aportar las bases matemticas necesarias para comprender y tener un mejor aprovechamiento en asignaturas posteriores como: bases de datos, estructuras de datos, programacin, redes, lenguajes y autmatas, entre otras.

Intencin didctica.
El temario est integrado por seis unidades organizadas de tal manera que permiten una enseanza y aprendizaje lgico en donde lo aprendido en una unidad son bases para comprender mejor el material en unidades posteriores. En la unidad uno se aborda conocimiento de conjuntos, mismos que son requeridos en las unidades de lgica matemtica, algebra booleana y relaciones. En la unidad dos se contempla material de lgica matemtica que permitir al estudiante contar con los elementos para llevar a cabo una reflexin al momento de realizar demostraciones formales inductivas y deductivas. En la unidad tres se espera que el alumno aprenda el concepto de relacin y manipulacin de la misma, dado que es de vital importancia en asignaturas como bases de datos, estructuras de datos, redes y programacin. En la unidad cuatro se tratara material de algebra booleana que permitir al estudiante contar con las bases necesarias en materias como: arquitectura de computadoras y sistemas electrnicos para informticos. En la unidad cinco se estudian propiedades y

Pgina: 1

caractersticas necesarias de los grafos muy tiles en el rea de redes de comunicacin y distribucin. En la unidad seis se abordarn conocimientos de rboles dada la importancia que tiene este tipo de grafos en el procesamiento de informacin en el rea de la informtica.
3.- COMPETENCIAS A DESARROLLAR Competencias especficas: Competencias genricas:

Disear y resolver modelos de Competencias instrumentales: problemas que requieren de las Capacidad cognitiva. matemticas discretas para su solucin.
Destreza tecnolgica. Destreza lingstica.

Capacidad metodolgica.

Capacidad de anlisis y sntesis.

Competencias interpersonales: Trabajo en equipo. Capacidad crtica y autocritica Habilidades interpersonales Bsqueda del logro

Competencias sistmicas: Capacidad de aplicar los conocimientos en la prctica. Capacidad de aprender. Capacidad de generar nuevas ideas (creatividad). Habilidad para autnoma. trabajar en forma

4.- HISTORIA DEL PROGRAMA

Lugar y fecha de elaboracin o revisin Instituto Tecnolgico de Saltillo, del 5 al 9 de octubre, 2009. Participantes Representantes de los siguientes tecnolgicos: Observaciones (cambios y justificacin) Reunin para el Programa de diseo e innovacin curricular para la formacin y desarrollo de

Pgina: 2

4.- HISTORIA DEL PROGRAMA

Lugar y fecha de elaboracin o revisin Participantes Observaciones (cambios y justificacin) competencias profesionales.

Institutos Tecnolgicos de: Chetumal, Conkal, Mexicali, Morelia y Valle del Guadiana; 12 de octubre de 2009 al 19 Febrero de 2010.

Representantes de las Academias de: Sistemas y computacin e Informtica.

Anlisis, enriquecimiento y elaboracin del programa de estudio propuesto en la Reunin Nacional de Diseo Curricular de la carrera de Ingeniera en Informtica.

Instituto tecnolgico Superior de Pozarica, del 22 al 26 de febrero de 2010

5.- OBJETIVO(S) GENERAL(ES) DEL CURSO (competencias especficas a desarrollar en el curso)

Disear y resolver modelos de problemas que requieren de las matemticas discretas para su solucin.

6.- COMPETENCIAS PREVIAS

Para matemticas Discretas se requiere que el alumno tenga las siguientes competencias: Disear y resolver modelos de problemas que requieren del lgebra para su solucin. Probar hiptesis simples por medio de del mtodo deductivo o directo.

7.- TEMARIO Unidad Temas

1 Conjuntos

Subtemas
1. Introduccin. 2. Conceptos bsicos. 2.1 Notacin. 2.2 Inclusin e igualdad. 2.3 Subconjuntos. 2.4 Conjunto potencia. 3. Operaciones. 3.1 Unin. 3.2 Interseccin. 3.3 Complementacin. 3.4 Diferencia. 3.5 Diferencia simtrica. 4. Diagramas de Venn. 5. Identidades bsicas.

Pgina: 3

7.- TEMARIO Unidad Temas

Subtemas
5.1 Doble negacin. 5.2 Leyes de Morgan. 5.3 Ley conmutativa. 5.4 Ley distributiva. 5.5 Ley asociativa. 5.6 Ley de idempotencia. 5.7 Ley de equivalencia. 6. Conjuntos finitos. 1. Introduccin. 2. Proposiciones lgicas. 3. Conectivas lgicas. 3.1 Negacin, conjuncin, disyuncin. 3.2 Frmulas enunciativas y tablas de verdad. 3.4 Condicional y bi-condicional. 3.5 Frmulas bien formadas. 3.6 Tautologas y contradicciones. 3.7 Equivalencia de frmulas. 3.8 Dualidad. 3.9 Reglas de inferencia. 3.10 Implicaciones tautolgicas. 3.11 Conjunto de conectivas funcionalmente completos. 4. Proposiciones compuestas. 4.1 Expresiones lgicas. 4.2 Anlisis. 4.3 Reglas de prioridad. 4.4 Evaluacin y tablas de verdad. 5. Formas normales. 6. Demostracin Formal. 6.1 Mtodo Directo. 6.2 Mtodo Por contradiccin. 7. Induccin matemtica. 8. Aplicacin de la lgica matemtica en la computacin. 1. Introduccin. 2. Pares ordenados y n-uplas. 3. Producto cartesiano. 3.1 Dominio. 3.2 Codominio. 4. Propiedades de las relaciones. 4.1 Reflexiva. 4.2 Irreflexiva. 4.3 Simtrica. 4.4 Asimtrica. 4.5 Antisimtrica. 4.6 Transitiva. 5. Matrices y grficas de relacin. 6. Relaciones de compatibilidad y equivalencia. 6.1 Clases de equivalencia. 6.2 Particiones. 7. Operacin entre relaciones usando matrices y conjuntos. 7.1 Unin.

Lgica

Relaciones

Pgina: 4

7.- TEMARIO Unidad Temas

Subtemas
7.2 Interseccin. 7.3 Complementacin. 7.4 Inversa. 7.5 Composicin. Ordenamiento parcial. 8.1 Diagrama de Hasse. Funciones. 9.1 Inyectiva. 9.2 Sobreyectiva. 9.3 Biyectiva. Aplicacin de las relaciones en la computacin. Introduccin. Expresiones booleanas y tablas de verdad. Dualidad de un estatuto. Simplificacin de expresiones booleanas. 7.1 Por teoremas del lgebra booleana. 7.2 Usando mapas de Karnaugh. Bloques lgicos (not, and, or, nor, nand, xor, xnor). Equivalencia de circuitos combinatorios. Aplicacin del lgebra booleana en la computacin. Introduccin. Partes de un grafo. Tipos de grafos: 3.1 Simples. 3.2 Completos de n vrtices (Kn). 3.3 Complemento de un grafo. 3.4 Bipartidos. 3.5 Bipartidos completos (Kn,m). 3.6 Conexos. 3.7 Planos. 3.8 Isomorfos. Caminos y circuitos. 4.1 Camino de Euler. 4.2 Circuito de Euler. 4.3 Camino de Hamilton. 4.4 Circuito de Hamilton. Clculo de caminos a partir de una representacin matricial de grafos. 5.1 Representacin de grafos mediante matrices de adyacencia e incidencia. 5.2 Algoritmo de Dijkstra para la bsqueda de camino mnimo Recorrido de grafos representados como listas de adyacencia. 6.1 Bsqueda a lo ancho (de amplitud). 6.2 Bsqueda en profundidad Aplicacin de los grafos en la computacin. Introduccin. Propiedad de los rboles. Partes de un rbol (Nodo, padre, hijo, hoja). Clasificacin de los rboles. 4.1 Por nmero de nodos. 4.2 Por su altura.

8. 9.

lgebra booleana

10. 1. 2. 3. 4.

Grafos

5. 6. 7. 1. 2. 3.

4.

5.

6.

Arboles

7. 1. 2. 3. 4.

Pgina: 5

7.- TEMARIO Unidad Temas

Subtemas
5. rboles con pesos. 5.1 Codificar informacin usando el cdigo de Huffman. 6. rboles libres 7. rboles de expansin. 7.1 Por bsqueda a lo ancho. 7.2 Por bsqueda en profundidad. 8. rboles de expansin mnimo. 8.1 Por algoritmo de Prim. 8.2 Por algoritmo de Kruskal. 9. Recorrido de un rbol. 9.1 En preorden. 9.2 En orden. 9.3 En postorden. 10. Aplicacin de los rboles en la computacin

8.- SUGERENCIAS DIDCTICAS (desarrollo de competencias genricas)

1. Fomentar la participacin en clases, con la finalidad de propiciar la comunicacin, el intercambio de ideas, la reflexin, la integracin y la colaboracin entre los estudiantes. 2. Relacionar los contenidos de esta asignatura con los dems del plan de estudios para desarrollar una visin interdisciplinaria entre el estudiante. 3. Propiciar en el alumno la investigacin y anlisis.

4. Propiciar la investigacin, creacin y uso de software que pude ayudar en cada una de las unidades de aprendizajes. 5. Procurar el trabajo en equipo llevando a cabo investigaciones extra clase para cada una de las unidades de aprendizaje y la solucin de problemas significativos que fomenten la reflexin. 6. Utilizar software para consolidar los aprendido en el aula.

9.- SUGERENCIAS DE EVALUACIN

La evaluacin debe ser continua y formativa por lo que se debe considerar el desempeo en cada una de las actividades de aprendizaje, haciendo especial nfasis en: o Informacin obtenida durante las investigaciones solicitadas plasmada en documentos escritos. Los resultados de las actividades de aprendizaje. Exmenes escritos para comprobar el manejo de aspectos tericos y declarativos.

o o

Pgina: 6

Actividades realizadas en las prcticas de clase.

10.- UNIDADES DE APRENDIZAJE

Unidad 1: Conjuntos. Competencia especfica a desarrollar Actividades de aprendizaje Resolver ejercicios que involucren el uso de las operaciones diferencia conjuntos. Probar igualdades, desigualdades, propiedades y leyes de conjuntos, dibujando diagramas de Venn y mediante las leyes del lgebra de Conjuntos. Simplificar expresiones complejas de conjuntos usando para ello las propiedades y leyes de los mismos. Establecer las equivalencias y diferencias entre las propiedades y leyes de conjuntos con lgica matemtica y lgebra booleana. Resolver una lista de problemas fuera del saln de clase en donde se apliquen los conocimientos de conjuntos. unin, simtrica interseccin, y diferencia, de complemento

Conocer y deducir las principales propiedades de leyes de conjuntos para tener herramientas que permitan una mejor comprensin del material en el rea de la computacin.

Unidad 2: Lgica. Competencia especfica a desarrollar Actividades de aprendizaje Investigar en equipos de tres o cuatro alumnos la historia de la lgica matemtica y su importancia y aplicacin en el campo de la computacin y reportar el material investigado por medio de un ensayo. Elaborar proposiciones compuestas a partir de dos o ms proposiciones simples, usando para ello los conectores lgicos. Obtener la equivalencia compuestas simblica expresadas para en expresiones

Determinar la validez de una proposicin lgica, usando para ello los mtodos deductivos directo y contradiccin o induccin matemtica, como una manera de representar problemas del rea informtica en forma de modelo matemtico.

trminos cotidianos. Elaborar la tabla de verdad de expresiones

Pgina: 7

Unidad 2: Lgica. Competencia especfica a desarrollar Actividades de aprendizaje compuestas. Probar que algunas proposiciones son tautologas, contradicciones o contingencias, haciendo uso de tablas de verdad. Probar la equivalencia de pares de expresiones, empleando tablas de verdad. Probar que dos proposiciones son lgicamente equivalentes usando para ello las leyes de la lgica.

Resolver fuera del saln de clase en grupos de

tres a cuatro alumnos una lista de problemas que permitirn probar la validez de una proposicin por medio del mtodo directo y contradiccin.

Representar por medio de una proposicin

problemas computacionales y llevar a cabo la demostracin formal de dicha proposicin usando para ello induccin matemtica. Unidad 3: Relaciones. Competencia especfica a desarrollar

Actividades de aprendizaje Investigar fuera del saln de clase las diferentes formas de representacin de las relaciones y la aplicacin en el rea de la computacin. Discutir en el saln de clase el material investigado y llegar a conclusiones validas para todo el grupo. Representar problemas reales de sistemas de comunicacin por medio de relaciones. Ejemplificar las propiedades reflexivas, irreflexivas, simtricas, antisimtricas, transitiva y equivalencia, haciendo uso de casos reales y cotidianos. Probar que algunas relaciones proporcionadas en ejercicios son transitivas, reflexivas o simtricas. Obtener la matriz de relacin y dibujar el grafo de relaciones proporcionadas por el catedrtico. Probar que las relaciones proporcionadas por el

Manipular las relaciones matemticas y determinar sus propiedades, con el objeto de comprender mejor el algebra relacional usada en bases de datos y la estructuracin de informacin en listas enlazadas y redes.

Pgina: 8

Unidad 3: Relaciones. Competencia especfica a desarrollar

Actividades de aprendizaje catedrtico son relaciones de equivalencia o bien aplicar las cerraduras reflexiva, simtrica y transitiva para que la relacin tenga la propiedad de equivalencia. Obtener nuevas relaciones provenientes de llevar a cabo operaciones de unin, y interseccin, complementacin, inversa

composicin de relaciones. Obtener conjuntos parcialmente ordenados a partir de ejemplos concretos y representarlos por medio del diagrama de Hasse. Unidad 4: lgebra booleana. Competencia especfica a desarrollar Actividades de aprendizaje Investigar en equipo de tres a cuatro integrantes la historia del algebra booleana y la aplicacin de la misma en la computacin y reportar el material investigado en un ensayo. Obtener la expresin booleana a partir de una tabla de verdad que muestre el funcionamiento de un sistema o bien a partir de circuito lgico obtener su funcin booleana correspondiente. Simplificar una funcin booleana usando para ello los teoremas del lgebra booleana. Obtener las formas normales disyuntiva y conjuntiva de expresiones booleanas. Usar los mapas de Karnaugh para simplificar expresiones booleanas. Representar expresiones booleanas por medio de circuitos lgicos usando para ello bloques lgicos bsicos (and, or, not y x-or) y compuestos (nand, nor y x-nor). Dibujar los circuitos digitales equivalentes de expresiones en su forma original y en su forma simplificada por medio de los bloques lgicos del lgebra Booleana. Unidad 5: Grafos. Competencia especfica a desarrollar

Representar el funcionamiento de un sistema por medio de una funcin booleana y llevar a cabo su simplificacin usando teoremas del algebra booleana y mapas de Karnaugh, as como, su representacin grafica por medio de bloques lgicos.

Actividades de aprendizaje Inferir y representar situaciones cotidianas que

Representar redes y sistemas

Pgina: 9

Unidad 5: Grafos. Competencia especfica a desarrollar

Actividades de aprendizaje pueden ser modeladas por medio de un grafo. Dibujar grafos dirigidos (di-grafos) y no dirigidos a partir de su matriz de adyacencia y matriz de incidencia. Obtener la matriz de adyacencia y matriz de incidencia de grafos. Probar que pares de grafos son isomorfos, por medio de sus propiedades o bien llevando a cabo intercambios de filas y columnas en la matriz de incidencia de uno de esos grafos. Determinar si un grafo es plano, en caso de no ser as explicar cul es la razn. Determinar si un grafo tiene camino de Euler, Circuito de Euler, Camino de Hamilton. Circuito de Hamilton. Si es simple, conexo, completo de n vrtices Kn, bipartido completo Kn,m o plano. Resolver problemas que involucran el uso de grafos. Elaborar una lista de usos de los grafos en la computacin y respaldar con argumentos cada una de esas aplicaciones.

de comunicacin y distribucin por medio de grafos y llevar a cabo su tratamiento correspondiente como una manera de optimizar los recursos y la comunicacin.

Unidad 6: rboles. Competencia especfica a desarrollar

Actividades de aprendizaje Obtener rboles a partir de grafos, usando para ello los mtodos de Prim y Kruskal. Identificar las partes de un rbol y tipos de arboles de acuerdo a su altura y numero de nodos. Realizar el balanceo de arboles. Obtener arboles de expansin usando bsqueda a lo ancho y en profundidad. Buscar y utilizar software que se pudiera usar para comprender mejor y consolidar los conocimientos tratados de rboles. Realizar la codificacin y decodificacin de informacin usando para ello el cdigo de Huffman.

Usar la estructura de rbol para mejor el tratamiento y procesamiento de informacin en el rea de la computacin.

Pgina: 10

Unidad 6: rboles. Competencia especfica a desarrollar

Actividades de aprendizaje Obtener el recorrido de un rbol en preorden, orden y postorden. Representar por medio de un rbol una expresin matemtica y llevar a cabo la evaluacin de la misma usando los correspondientes recorridos. Estructurar la informacin en un rbol y por medio de recorrido en orden constatar la posicin correcta de la misma. Resolver problemas que involucren el uso de rboles. Elaborar una lista de usos de los rboles en la computacin y respaldar con argumentos cada una de esas aplicaciones. En equipos de tres o cuatro elementos investigar propiedades, caractersticas y usos de arboles AVL, arboles B y B++.

11.- FUENTES DE INFORMACIN Bibliografa: (por orden alfabtico)

1. Jimnez Murillo, Jos Alfredo. Matemticas para la computacin. ed. Alfaomega. Mxico. (2008). 2. Garnier, R; Taylor, J; Discrete Mathematics for New Technology; Second edition; ed. Institute of Physics Publishing; USA; (2002). 3. Grossman, Peter; Discrete Mathematics for Computing; ed. Palgrave McMillan; Hong Kong; (2002). 4. Johnsonbaugh, Richard. Matemticas Discretas. sexta edicin. ed. Pearson Educacin. Mxico. (2005). 5. Kolman, Bernard. Busby, Robert C. Ross, Sharon. Estructuras de Matemticas Discretas para la Computacin. Prentice Hall. 3 Edicin. Mxico. (1997). 6. Liu, C. L.; Elementos de Matemticas Discretas; ed. Mc Graw-Hill; Mxico; (1995). 7. Ross, Kenneth A. Wright Charles R. B. Matemticas Discretas 2a Edicin. Prentice Hall. Mxico. (1990). 8. Skreeumar, D. P. Acharjya; Fundamental Approach to Discrete Mathematics; ed. New Age International Publisher; USA; (2005).

Pgina: 11

9. Tremblay, Jean Paul; Matemticas discretas. Con aplicacin a las ciencias de la computacin; ed. Compaa editorial Continental; Mxico; (1996). 10. Grassmann, Winfried Karl. Tremblay, Jean-Paul. Matemtica Discreta y Lgica, una perspectiva desde la ciencia de la computacin. Ed. Prentice Hall; Espaa; (1997).

12.- PRCTICAS PROPUESTAS Usar la hoja de clculo para elaborar tablas de verdad, determinar si una proposicin es
tautologa, contradiccin o contingencia. Adems de determinar por medio de una tabla de verdad si dos proposiciones son lgicamente equivalentes.

Usar software para resolver problemas que requieran operaciones entre relaciones, determinar si son reflexivas, irreflexivas, simtricas, asimtricas, antisimtricas o transitivas. Probar tambin si son relaciones de equivalencia, llevar a cabo cerraduras, determinar el dominio, codominio y el diagrama de Hasse cuando corresponda. Usar software que permita la simplificacin y representacin por medio de compuertas lgicas de funciones booleanas. A partir de los bloques lgicos NAND y NOR obtener el circuito lgico de las compuertas restantes. Usar software que permita determinar algunas caractersticas de los grafos como son: valencias, si el grafo es simple, completo de n vrtices, plano, conexo. Si tiene o no recorridos importantes como caminos y circuitos de Euler y/o de hamilton. Encontrar la ruta ms corta.

Usar software que permita llevar a cabo balanceo de rboles, evaluacin de expresiones matemticas por medio de rboles, ordenamiento y bsqueda de informacin por medio de rboles de bsqueda y codificacin de informacin.

Pgina: 12