Pgina 1 de 5

ASIGNATURA: MATEMATICA DISCRETA II Cd. 15-215 Rgimen cuatrimestral Horas semanales: 4 Escuela de Sistemas 2010 FUNDAMENTOS: Con las bases matemticas adquiridas, esta materia apunta a la adquisicin de nuevos lenguajes. Estos lenguajes refieren a herramientas matemticas con aplicacin en diversas situaciones en el campo de la computacin, tales como anlisis de redes, diseo de circuitos, mquinas tericas, lenguajes formales y la comunicacin entre mquinas. OBJETIVOS: Identificar herramientas matemticas de aplicacin en campos de la computacin. Adquirir conceptos y procedimientos matemticos con aplicacin en ciencias de la computacin y el anlisis de sistemas. Aplicar conceptos y mtodos especficos a la resolucin de problemas en los campos de ciencias de la computacin y anlisis de sistemas. Valorar los mtodos matemticos como instrumentos para la fundamentacin y desarrollo de la ciencia de la computacin.

CONTENIDOS MNIMOS: Relaciones y estructuras de orden. lgebra Booleana. Teora de grafos. Arboles. Lenguajes y gramticas. Mquinas de estado finito. Semigrupos y grupos. Codificacin y decodificacin. PROGRAMA ANALTICO Unidad I: Relaciones y estructuras de orden. Conjuntos parcialmente ordenados. Propiedades. Elementos extremos de conjuntos parcialmente ordenados. Diagramas de Hasse. Retculas. Subretculas. Isomorfismos y homomorfismos entre estructuras reticulares.

Pgina 2 de 5

Unidad II: lgebra Booleana. Definiciones y propiedades. Funciones de lgebras booleanas. Simplificacin de expresiones booleanas. Forma normal disyuntiva. Mapa de Karnaugh. Circuitos lgicos. Unidad III: Teora de grafos. Grafos; definiciones y ejemplos. Subgrafos. Trayectorias o caminos y circuitos. Trayectorias y circuitos eularianos. Trayectorias y circuitos hamiltonianos. Matrices de adyacencia e incidencia. Digrafos. Unidad IV: rboles. rboles no dirigidos y rboles dirigidos. rboles etiquetados. rboles con raz. Bsqueda en rboles. Lista doblemente enlazada. Ordenamiento topolgico y de diccionario. Arboles de expansin. rboles de expansin mnima. Algoritmos de Kruskal, Prim, Floyd y Dijkstra. Unidad V: Lenguajes y gramticas Cadenas y lenguajes. Definiciones y operaciones con cadenas y lenguajes. Gramticas que generan lenguajes. Tipos de Gramticas. Gramticas regulares. Unidad VI: Mquinas de estado finito. Autmata finito. Tablas de transicin. Gramticas regulares y autmatas finitos. Autmatas determinsticos y no determinsticos. Simplificacin de mquinas. Unidad VII: Semigrupos y grupos. Operaciones binarias. Semigrupos. Monoides. Grupos. Grupos abelianos. Subgrupos. Homomorfismos e Isomorfismos entre estructuras algebraicas. Unidad VIII: Codificacin y decodificacin. Teora de cdigos. Codificacin de informacin binaria y deteccin de errores. Decodificacin y correccin de errores. DESCRIPCION DE LA ACTIVIDAD CURRICULAR Las clases se desarrollan en el aula con utilizacin de pizarrones, en el cual el docente desarrolla la teora acompandola con ejercicios variados. Se intercalar entre cada tema terico dictado por el docente, un espacio de tiempo para que el estudiante, ya sea en forma individual o grupal, resuelva ejercicios propuestos tomados de la gua de trabajos prcticos confeccionada para este fin. Durante la cursada se requerir a los estudiantes, en ocasiones en forma individual y otras en forma grupal, que busquen informacin sobre temas propuestos en la bibliografa sugerida o Internet. Bajo esta modalidad provocamos que el estudiante se

Pgina 3 de 5

inicie en la investigacin bibliogrfica. Con la presentacin de estos trabajos y exposicin propiciamos un dilogo alternado para compartir y esclarecer la informacin. Se sugerir al alumno el uso de software para descargar o en lnea, de aplicacin en los temas y procedimientos dados. EVALUACIN: El dictado de la materia se efecta una vez a la semana con una carga horaria de 4 horas semanales durante 15 semanas. Durante la cursada se tomarn dos parciales escritos y prcticos, se podr recuperar uno de ellos en el ltimo da de clases y de esta manera se consigue la regularidad acadmica. La aprobacin de la materia es a travs de un examen final integrador. CRONOGRAMA:

Clase 1

Unidad I

II

II

III

Tema Relaciones de orden. Propiedades. Diagrama de Hasse. Elementos extremos. Retculas. Subretculas. Isomorfismo. lgebra de Boole. Propiedades. Expresiones booleanas. Simplificacin de expresiones booleanas. Mapa de Karnaugh. Circuitos lgicos. Grafos no dirigidos. Subgrafos. Matrices asociadas. Trayectorias. Isomorfismo de grafos. Digrafos.

Teora 2

Prctica Ejercitacin: 2

Ejercitacin: 2

Ejercitacin: 3 Ejercitacin y Ejemplificacin :2 Ejercitacin Individual y Grupal: 3 Ejercitacin Individual y Grupal: 3 Repaso: 2 Parcial Escrito y Prctico: 2

III

I, II y III

1er. Parcial

Pgina 4 de 5

Clase 8

Unidad IV

IV

10

Tema rboles dirigidos. rboles etiquetados. Bsqueda en rboles Lista doblemente enlazada, rboles no dirigidos. rboles de expansin. Algoritmos de Kruskal, Prim, etc. Cadenas y lenguajes. Definiciones y operaciones. Gramticas que generan lenguajes. Tipos de gramticas. Autmata finito. Tablas de transicin. Gramticas regulares y autmatas finitos. Simplificacin de autmatas. Operaciones binarias. Semigrupos. Monoides. Grupos. Grupos abelianos. Subgrupos. Homomorfismos e Isomorfismos entre estructuras algebraicas. . Teora de cdigos. Codificacin de informacin binaria y deteccin de errores. Decodificacin y correccin de errores.

Teora 2

Prctica Ejemplificacin y Prctica: 2

Ejemplificacin y Prctica: 2

Ejemplificacin y Prctica: 2

11

VI

Ejemplificacin y Prctica: 2

12

VII

Ejemplificacin y Prctica: 1

13

VIII

Ejemplificacin y Prctica: 1

14 15

IV, V, VI, VII y VIII

2 PARCIAL Recuperatorios y Firma de Libretas

Repaso: 2 Parcial Escrito y Prctico: 2 4

Pgina 5 de 5

BIBLIOGRAFIA OBLIGATORIA: KOLMAN, Bernard - BUSBY, Robert: Estructuras de matemticas discretas para la computacin. Ed. Prentice-Hall Hispanoamericana, S.A. 3 edicin, 1997. JOHNSONDAUGH, Richard: Matemticas discretas. Grupo Editorial Iberoamericana, 1988. RALPH, P. GRIMALDI: Matemticas discretas y combinatoria Addison-Wesley Iberoamericana. 3 edicin, 1997. LIU, C.L.: Elementos de matemticas discretas. Editorial Mc. Graw Hill. 2 Ed. 1995. BIBLIOGRAFIA COMPLEMENTARIA: KELLEY, Dean: Teora de Autmatas y Lenguajes formales.Ed. Prentice Hall. LIPSCHUTZ SEYMOUR: Matemticas para computacin. Mc Graw Hill. 1 edicin, 1993. ABBOTT, J.C.: Sets, Lattices, and Boolean Algebres. Allyn And Bacon. DENNING , Peter J. - DENNIS, Jack B. and QUALITZ, Joseph L. : Machines, languages, and computation. Prentice-Hall ARBIB, M.A.: Algebraic Theory of Machines, Languages and Semigroups. Academic Press. SCHEINERMAN, Edward R.: Matemticas Discretas. Ed. Math. W. K. GRASSMANN: Matemtica discreta y Lgica. Prentice Hall. 1 edicin, 1997. KENNETH, A.Ross- CHARLES R.B. Wright: Matemticas discretas Prentice Hall Hispanoamericana, 2 edicin, 1990.