Trabajo Final Matemticas Discretas

El trabajo final de esta asignatura de Clculo Integral, ser sobre Grafos y Algebra Booleana, los puntos a desarrollar son los siguientes: Para Algebra booleana 4.1 Teoremas y postulados. 4.2 Optimizacin de expresiones booleanas. 4.3 Aplicacin del algebra booleana (Compuertas lgicas) 4.3.1 Mini y maxi trminos. 4.3.2 Representacin de expresiones booleanas con circuitos lgicos. Estos puntos les pueden servir de gua, para saber que desarrollar en cada punto del temario anterior. Investigar el concepto, historia, postulados y propiedades del lgebra booleana. Elaborar un mapa conceptual de los conceptos de algebra booleana, las operaciones que se utilizan y las propiedades que contiene. Resolver problemas de representacin de expresiones booleanas usando para ello compuertas bsicas (and, or, not y x-or). (3 ejemplos) Obtener expresiones booleanas a partir de una tabla de verdad que muestre todos los posibles valores de un sistema lgico. Simplificar expresiones booleanas usando para ello teoremas del lgebra booleana. Desarrollar ejercicios de optimizacin de expresiones booleanas, aplicando las propiedades del algebra booleana. (2 ejemplos) Investigar las aplicaciones del algebra booleana en el rea de las ciencias computacionales (circuitos lgicos). Resolver problemas para obtener la expresin equivalente simplificada a partir de un circuito lgico. Analizar circuitos lgicos bsicos: sumador de cuatro bits. Construir circuitos lgicos utilizando compuertas lgicas. (3 ejemplos)

Para Teora de Grafos 6.1 Elementos y caractersticas de los grafos. 6.1.1 Componentes de un grafo (vrtices, aristas, lazos, valencia) 6.1.2 Tipos de grafos (Simples, completos, bipartidos, planos, conexos, ponderados) 6.2 Representacin de los grafos. 6.2.1 Matemtica 6.2.2.Computacional 6.3 Algoritmos de recorrido y bsqueda. 6.3.1 El camino ms corto 6.3.2. A lo ancho 6.3.3 En profundidad 6.4 Arboles.
Unidad 5 Pgina 1

Trabajo Final Matemticas Discretas

6.4.1 Componentes (raz, hoja, padre, hijo, descendientes, ancestros) 6.4.2 Propiedades 6.4.3 Clasificacin (altura, nmero de nodos) 6.4.4 rboles con peso 6.4.5 Recorrido de un rbol: Preorden, Inorden, Postorden, 6.5 Redes.(teorema de flujo mximo, teorema de flujo mnimo, pareos y redes de Petri) 6.6 Aplicaciones de grafos y rboles.

Estos puntos les pueden servir de gua, para saber que desarrollar en cada punto del temario anterior. Investigar los elementos y caractersticas de los grafos en diferentes fuentes de informacin (vrtice, arista, lazos, valencias, caminos) Elaborar una presentacin electrnica donde se identifiquen los conceptos bsicos investigados. Construir un esquema donde se muestren los diferentes tipos de grafos, sus caractersticas y ejemplos de cada uno de ellos. Investigar cmo se representan los grafos utilizando matrices, identificar las razones por las cuales se utilizan cada una de las representaciones y cul es la ms adecuada para su manejo en la computadora. Investigar los diferentes algoritmos para el clculo del nmero de caminos en un grafo, as como el camino ms corto, analizar sus caractersticas y determinar cul es el ms ptimo. Investigar cuales son las estrategias y algoritmos de bsqueda existentes. Realizar en los grafos bsqueda de informacin a lo ancho y en profundidad. Usar software para determinar caractersticas, propiedades y recorridos en grafos. Elaborar una presentacin electrnica con los conceptos bsicos de rboles y sus propiedades. Discriminar las diferencias entre un grafo y un rbol. Analizar la clasificacin de los rboles. Investigar los procedimientos para realizar el recorrido de un rbol, as como el ordenamiento y la bsqueda de los elementos del mismo. Elaborar ejercicios en grupo para el recorrido de rboles en preorden, inorden y postorden. Investigar las aplicaciones de los recorridos de rboles en el rea de las ciencias computacionales. Estructurar la informacin en un rbol para llevar a cabo evaluacin de ecuaciones matemticas y ordenamiento de informacin por medio de sus diferentes recorridos. Resolver ejercicios de bsqueda a lo ancho y en profundidad, as como el ordenamiento de informacin utilizando rboles.

Unidad 5

Pgina 2

Trabajo Final Matemticas Discretas

FUENTES DE INFORMACIN Aqu les incluyo las fuentes de informacin que vienen en el temario del programa para que puedan apoyarse en ellas en su investigacin.
Fuentes impresas (libros) 1. Brookshear, J. Glenn.; Teora de la computacin. Addison-Wesley Iberoamricana. Estados Unidos. 1993. 2. Garca Valle, J. Luis. Matemticas especiales para computacin. Ed. McGraw-Hill. Mxico. 1993. 3. Grassmann, Winfried Karl. Tremblay, Jean-Paul. Matemtica Discreta y Lgica, una perspectiva desde la ciencia de la computacin. Ed. Prentice Hall. Espaa. 1997. 4. Grimaldi, Ralph P. Matemticas discreta y combinatoria 3. edicin. Ed. Pearson Educacin. Mxico. 1998 5. Jimnez Murillo, Jos Alfredo. Matemticas para la computacin. Ed. Alfaomega. Mxico. 2008. 6. Johnsonbaugh, Richard. Matemticas Discretas. sexta edicin. ed. Pearson Educacin. Mxico. 2005. 7. Kolman, Bernard. Busby, Robert C. Ross, Sharon. Estructuras de Matemticas Discretas para la Computacin. 3 Edicin Prentice Hall. Mxico. 1997. 8. Kelly, Dean. Teora de Autmatas y Lenguajes Formales. Ed. Prentice Hall. Espaa. 1995. 9. Lipschutz, Seymour. Matemticas para la Computacin. Ed. Mc-Graw Hill. Colombia. 1990. 10. Liu, C. L. Elementos de Matemticas Discretas. Ed. Mc Graw-Hill. Mxico. 1995. 11. Rosen, Kenneth H. Matemtica Discreta y sus aplicaciones". 5. Edicin. McGraw Hill. Espaa. 2004. 12. Ross, Kenneth A. Wright Charles R. B. Discrete mathematics 5a Edicin. Pearson Education, U.S.A. 2003 13. Skreeumar, D. P. Acharjya; Fundamental Approach to Discrete Mathematics. Ed. New Age International Publisher. USA. 2005. 14. Suppes, Patrick, Hill, Shirley. Primer Curso de Lgica Matemtica. 3. Edicin. Ed. Revert. Espaa. 2008. 15. Tremblay, Jean Paul; Matemticas discretas. Con aplicacin a las ciencias de la computacin; Ed. CECSA. Mxico. 1996. Fuentes electrnicas Barcel, A. 2007. Qu tan matemtica es la lgica matemtica? Disponible desde Internet en: <http://dianoia.filosoficas.unam.mx/info/2003/d51Barcelo.pdf> [con acceso el 1 de Febrero de 2010] Universidad Autnoma de Mxico. 2006. Matemticas IV (Matemticas Discretas). Mxico. Disponible desde Internet en: <http://fcaenlinea.unam.mx/apuntes/interiores/docs/98/6/mate_4.pdf> [Con acceso el 4 de enero de 2010] Instituto Tecnolgico de Buenos Aires. 2001. Matemtica Discreta. Argentina. [Web en lnea]. [con acceso el 8 de enero de 2010] <http://www.allaboutcircuits.com/> Fecha desconocida. All About Circuits. USA [Web en lnea]. [con acceso el 8 de enero de 2010] Scribd. 2007. Microprocesadores. U.S.A. [Publicacin en lnea]. Disponible desde Internet en: <http://www.scribd.com/doc/338381/MICROPROCESADORES> [con acceso el 4 de diciembre de 2009] Textos electrnicos, bases de datos y programas informticosSISTEMAS DIGITALES BY YORSH.rar, <http://www.megaupload.com/?d=3VJUJ5IF> Unidad 5 Pgina 3

Trabajo Final Matemticas Discretas

Notas:
Les recuerdo que el trabajo deber incluir: Portada Introduccin ndice Desarrollo Conclusiones del equipo Fuentes de informacin (internet, libros, blogs, wikis, podcast, etc)

Los criterios a calificar son: Presentacin del trabajo escrito y la presentacin en powerpoint o video Informacin y organizacin de la informacin Recursos utilizados (fotos, imgenes, ilustraciones, esquemas, diagramas, dibujos, tablas, etc) Fuentes de informacin (internet, libros, videos, blogs, podcast, enlaces, etc.) Conclusiones del equipo

Unidad 5

Pgina 4