UNIVERSIDAD DE LA FRONTERA Facultad de Ingeniera, Ciencias y Administracin Depto.

Matemtica y Estadstica

PROGRAMA DE ASIGNATURA
I.- IDENTIFICACIN DE LA ASIGNATURA Asignatura Carrera Cdigo Horas Calidad Tipo de formacin Carcter Ponderacin Rgimen Curso Semestre que se imparte Ao acadmico Prerequisito Departamento Facultad II.: : : : : : : : : : : : MATEMATICA DISCRETA INGENIERIA INFORMATICA IME 190 4 Obligatoria Bsica Terico Terico 100% Semestral 2 Ao 3er Nivel 1 y 2 2010 Algebra : Matemtica y Estadstica : Ingeniera, Ciencias y Administracin

DESCRIPCIN DE LA ASIGNATURA Asignatura obligatoria en el Plan de Estudios de la carrera de INGENIERIA INFORMATICA. Est orientada a temas matemticos, tales como sistemas algebraicos y lenguajes formales, recurrencia y tcnicas de conteo, grafos y rboles binarios, retculos, lgebras de Boole y circuitos combinatorios, de inters en las reas de estructuras de datos, la teora de los lenguajes de computacin, los mtodos de optimizacin y el anlisis de algoritmos.

III.-

OBJETIVOS GENERALES Y ESPECIFICOS (cognitivos, procedimentales y actitudinales)

a)

Objetivos Generales.Asegurar un conocimiento profundo de los aspectos bsicos de las Matemticas Discretas que permita al alumno plantear y resolver problemas relacionados con la informtica y la investigacin de operaciones.

b)

Objetivos Especficos.1.Cognitivos.Al finalizar el curso los estudiantes debern:

a) Desarrollar su capacidad de razonamiento lgico, de abstraccin y de generalizacin, que forme y enriquezca su saber matemtico. b) Adquirir las habilidades bsicas que le permitan plantear y resolver situaciones problemticas. c) 2.Procedimentales.Al finalizar el curso los estudiantes debern: a) b) c) Conocer mtodos para resolver recurrencias lineales de primer orden. Dominar los conceptos bsicos aplicables en el conteo de conjuntos y demostrar destreza en su aplicacin. Conocer algunos problemas clsicos de la teora de grafos y discutir fundadamente su solucin. Utilizar los rboles binarios para codificar. Construir, simplificar y comparar circuitos lgicos. Presentar el lenguaje, los razonamientos matemticos bsicos e introducir varias aplicaciones en el mundo de la programacin.

d) e)

3.-

Actitudinales.Al finalizar el curso el y la estudiante debern: a) Percibir la matemtica como una disciplina que ha evolucionado y que continua desarrollndose, y que responde en algunas ocasiones a la necesidad de resolver problemas prcticos, pero que tambin se plantean problemas propios que a menudo son por el solo placer intelectual y esttico. Valorar el desempeo grupal y la distribucin de tareas para conseguir los objetivos de: seguridad y confianza en si mismo, inventiva y creatividad, capacidad de liderazgo, responsabilidad, tolerancia, autoestima, hbitos y valores de trabajo y estudio.

b)

IV.-

CONTENIDOS.UNIDAD I.- ALGEBRA DE BOOLE 1.1. 1.2. 1.3. 1.4. Orden y reticulados. lgebras de Boole y funciones booleanas Aplicaciones Lgica biovalente (Enunciados, representaciones simblicas y tautologas. Cuantificadores, predicados y validez. 1.1.1. Lgica proposicional 1.1.2. Lgica de predicados 1.1.3. Programacin lgica y pruebas de veracidad. Circuitos combinatorios ( circuitos equivalentes y su simplificacin. Circuitos semisumadores y sumadores).

1,5,

UNIDAD II.- RECURRENCIA Y TCNICAS DE CONTEO 2.1. 2.2. 2.3. Tcnicas bsicas de conteo. Permutaciones y ordenamientos. Combinaciones con repeticin. Principio del palomar. RELACIONES DE RECURRENCIA.

UNIDAD III.3.1. 3.2. 3.3. 3.4. 3.5. 3.6.

Sucesiones y algoritmos recursivos Modelos con relaciones de recurrencia. Resolucin de relaciones de recurrencia.:Lineales y homogneos con coeficientes constantes. Lineales y no homogneos con coeficientes constantes. Algunos algoritmos. Funciones generativas.

UNIDAD 4.- RELACIONES Y FUNCIONES 4.1. 4.2. 4.3. 4.4. 4.5. 4.6. 4.7. 4.8. Relaciones y propiedades. Representacin de relaciones. Relacin de equivalencia Relacin de orden Orden parcial Diagrama de Hasse Mximos, mnimos, primer y ltimo elementos. Funciones. Propiedades.

UNIDAD 5.- GRAFOS Y RBOLES BINARIOS 5.1. 5.2. 5.3. 5.4. 5.5. 5.6. 5.7. Relaciones y grafos dirigidos. Representacin por computadora de relaciones y grafos dirigidas. Manipulacin de las relaciones. Grafos, subgrafos, isomorfismo de grafos.. Grado, recorridos y circuitos. Grafos planos. Coloracin de grafos. rboles. rboles con raz. rboles binarios, rboles generadores, recorrido de rboles, rbol generador. Mnimino.

V.-

RECURSOS METODOLOGICOS.Clases expositivas. Tareas y Pruebas Individuales. Talleres computacionesles. Exposiciones sobre aplicaciones a la especialidad. Pgina Web de la asignatura. Uso de software.

VI.-

EVALUACION.De acuerdo a regimen vigente.

VII.- BIBLIOGRAFIA.-

BSICA.1) Johnsonbaugh R. MATEMATICAS DISCRETAS. Prentice Hall, 1997, 650 pg. Liu C.J. ELEMENTOS DE MATEMATICAS DISCRETAS. McGraw Hill. 1995, 450 pg. Kolman, Busby, Ross. ESTRUCTURAS MATEMATICAS DISCRETAS PARA COMPUTACIN. Prentice Hall, 1995, 350 pg. DE LA

2)

3)

COMPLEMENTARIA.1) Scheinerman, Edweard R. MATEMATICAS DISCRETAS Math, 2001, 300 pg. Rosen. K.H. DISCRETE MATHEMATICS AND ITS APPLICATIONS. Mc Graw-Hill. 1999, 350 pg. Biggs,N, MATEMATICA DISCRETA Vicens Vives 1994, 300 pg. Grimaldi, R.P. MATEMATICA DISCRETA COMBINATORIA Addison Wesley, 1989, 350 pg. Truss, J.K. DISCRETE MATHEMATICS FOR COMPUTER SCIENTISTS International Computer Science Series, 1991, 400 pg. Rosen K.H. STUDENTS SOLUTIONS GUIDE FOR DISCRETE MATHEMATICS AND ITS APPLICATIONS. McGraw-Hill 1999, 420 pg. Rosen, K.H. EXPLORING DISCRETE MATHEMATICS WITH MAPLE McGraw-Hill. 1997 R.W. Hamming, CODING AND INFORMATION THEORY. Prentice Hall, 1980. 380 pg.

2)

3)

4)

5)

6)

7)

8)