1. Informacin General Facultad Ingeniera Carrera Ingeniera Denominacin de la asignatura Matemticas Discretas Cdigo de la Asignatura Perodo acadmico Marzo-Julio 2014 Eje de Formacin Bsica Modalidad Presencial Nmero de crditos / teora 4 Nmero de crditos / prctica 0 Profesor (es) responsable(s) Nombre: Diego Ponce Vsquez Correo electrnico: diego.ponce@ucuenca.edu.ec Direccin Web del Profesor:
2. Descripcin de la Asignatura Matemtica discreta es la parte de la matemtica encargada del estudio de los conjuntos discretos finitos o infinitos numerables. En oposicin a la matemtica continua, que se encarga del estudio de conceptos como la continuidad y el cambio contino, la matemtica discreta estudia estructuras cuyos elementos pueden contarse uno por uno separadamente. Es decir, los procesos en matemtica discreta son finitos y contables.
La matemtica discreta ayuda al desarrollo de ciertas capacidades fundamentales para un ingeniero: capacidad de formalizar, de razonar rigurosamente, de representar adecuadamente algunos conceptos, etc. Esta asignatura busca desarrollar habilidades y estrategias de razonamiento para resolver problemas de la vida real y, aplicar los conceptos, teoremas, postulados, mtodos y tcnicas de la matemtica discreta, para que el estudiante asuma una actitud reflexiva, crtica y creativa cuando tenga que tomar decisiones respecto a casos de la vida cotidiana que involucren problemas que relacionen con su futura profesin.
Los principales tpicos son. Lgico y Razonamiento Matemtico, Algoritmos, Aritmtica Modular, Grafos y Relaciones.
4. Objetivos(s) General(es) de la Asignatura Objetivo general de la asignatura:
Proporcionar al estudiante las herramientas y mtodos tericos de las Matemticas Discretas que le permitan resolver problemas de la ingeniera.
Objetivos especficos de la asignatura: FACULTAD DE INGENIERA SLABO POR ASIGNATURA
Conocer los aspectos generales de la Lgica (incluyendo cuantificadores), demostraciones y demostraciones por resolucin e induccin. Aprender y aplicar los conceptos del lenguaje de las matemticas, los conjuntos, sistemas numricos, las relaciones y funciones. Entender correctamente los conceptos de grficas, incluyendo los caminos hamiltonianos, graficas planas y los algoritmos del camino ms corto. Comprender el concepto de rbol, incluyendo arboles de expansin, rboles de decisin y los arboles binarios
5. Resultados Especficos de la Asignatura Resultados Especficos Al trmino de la asignatura, el estudiante:
Indicadores Rasgos visibles y medibles que evidencien la presencia o alcance de los resultados del aprendizaje Actividades de Evaluacin (Evidencias) Situaciones, actividades o tareas y el tipo de instrumentos que se va a utilizar para evaluar los resultados de aprendizaje Analiza y aplica los principios lgicos en su vida cotidiana
Discrimina inferencias y falacias a partir del conocimiento de las reglas y leyes lgicas
Es capaz de convencer de la veracidad de las afirmaciones que se hacen
Reconoce la importancia de la lgica proposicional
Obtiene conclusiones acertadas a partir de un conjunto de proposiciones
Resuelve ejercicios usando demostraciones.
Prueba: lgica de proposiciones, demostraciones, razonamientos y cuantificadores
Talleres con ejercicios de aplicacin Aplica con destreza las teoras en ejercicios de induccin matemtica Aplica los pasos bsicos para la resolucin de problemas aplicando el mtodo inductivo Taller ejercicios de aplicacin y prueba de conceptos Reconoce los diferentes Sistemas de Numeracin posicionales y es capaz de efectuar operaciones entre ellos Resuelve ejercicios operando en diferentes bases
Lee y crea diferentes problemas en bases diferentes al decimal. Prueba: Conversin entre bases, operaciones bsicas y representacin
Utiliza el Algebra booleana como mecanismo para la simplificacin de proposiciones simples Simplifica funciones booleanas usando formas cannicas de representacin.
Resuelve simplificaciones de expresiones usando mapas de Karnaugh Prueba: Formas canoncas de representacin, leyes del algebra boole, mapas de Karnaugh
Modela y resuelve problemas reales mediante la teora de grafos Reconoce la importancia de la teora de grafos para la solucin de problemas reales.
Analiza las condiciones para la existencia de caminos de Euler y caminos de Hamilton. Prueba: Algoritmo de camino mnimos, tipos de grafos, representacin de grafos, caminos de Euler y Hamilton FACULTAD DE INGENIERA SLABO POR ASIGNATURA
Resuelve problemas reales utilizando caminos de Euler y caminos de Hamilton
Aplica algoritmos adecuados para encontrar el camino ms corto Utiliza las teoras adecuadas para resolver problemas reales usando rboles Analiza las caractersticas de los grafos de tipo rbol.
Resuelve problemas utilizando rboles Prueba: Algoritmo de PRIM, KRUSKAL
6. Cronograma de sesiones CONTENIDO SESIN TAREA Explicacin del Slabo y metodologa 1 Exposicin del profesor CAPITULO 1: RAZONAMIENTOS Y DEMOSTRACIONES
Taller sobre razonamientos 1.4. Inferencia 1.5. Reglas de Inferencia ms usuales 3 Charla del profesor: Reglas de Inferencias
Taller sobre reglas de inferencia 1.6. Teorema 1.7. Corolario 1.8. Lema 1.9. Demostracin 4 Charla del profesor: Demostraciones
Taller sobre demostraciones 1.10. Razonamientos y Cuantificadores 1.11. Definiciones matemticas 1.12. Regla de Particularizacin 1.13. Regla de Generalizacin 5,6 Charla del profesor: Razonamientos y Cuantificadores
Taller sobre razonamientos y cuantificadores 1.14. Mtodos de demostracin 1.15. Demostracin Vaca 1.16. Demostracin Trivial 1.17. Demostracin Directa 1.18. Demostracin por la Contrarrecproca 1.19. Demostracin por Contradiccin 1.20. Bsqueda de contraejemplos
7,8,9 Charla del profesor: Mtodos de demostracin
Taller de mtodos de demostracin
Prueba del Captulo 1
FACULTAD DE INGENIERA SLABO POR ASIGNATURA
CAPITULO 2: SISTEMAS DE NUMERACION 2.1 Introduccin 2.2 Sistemas numricos 2.3 Sistema binario
10 Charla del profesor: Introduccin a los sistemas de numeracin y el sistema binario.
Taller de sistemas posiciones y transformacin a base dos. 2.4 Sistema octal 2.5 Sistema hexadecimal 2.6 Conversin entre bases
11 Charla del profesor: Sistemas octal y hexadecimal.
Taller de conversin entre bases de numeracin. 2.7 Operaciones aritmticas
12, 13 Charla del profesor: Operaciones bsicas suma, resta, multiplicacin y divisin.
Prueba del Captulo 2
Taller de operaciones bsicas en diferentes bases de numeracin. CAPITULO 3: ALGEBRA BOOLEANA 3.1 Variables y Constantes booleanas 3.2 Propiedades del Algebra booleana 14 Charla del profesor: Introduccin al algebra de Boole.
3.3 Expresiones booleanas minimales 3.4 Simplificacin de expresiones booleanas
15, 16 Charla del profesor: Simplificacin de expresiones booleanas.
Taller de simplificacin de expresiones booleanas y paso a formas cannicas 3.4.1 Mapas de Karnaugh 3.4.2 El mtodo de minimizacin tabular de Quine- McCluskey
17, 18 Taller de simplificacin de expresiones usando el mtodo de mapas de Karnaugh y Quine-McCluskey.
Prueba del Captulo 3 CAPITULO 4: TEORIA DE GRAFICAS 4.1 Definicin 4.2 Vrtices Adyacentes 4.3 Representacin Grfica 4.4 Multgrafos 4.5 Pseudografo 4.6 Digrafo 19 Charla del profesor: Introduccin a la teora de grafos.
Lectura sobre el problema de los puentes de Konigsberg 4.7 Grados de un vrtice 4.8 Vrtice aislado 4.9 Grafo regular 4.10 Suma de los grados de un grafo 4.11 Grado de entrada y salida 20 Charla del profesor: Grafos regulares
Taller sobre grados de un vrtice, grado entrada y salida, grafos regulares 4.12 Isomorfismo de grficas 4.13 Grafos complementarios 4.14 Subgrafos 4.15 Subgrafos expandido 4.16 Subgrafo inducido 20,21 Charla del profesor: Tipos de grafos.
Taller sobre tipos de grafos, grafos complementarios, grafos bipartitos FACULTAD DE INGENIERA SLABO POR ASIGNATURA
4.17 Eliminacin de aristas 4.18 Eliminacin de vrtices 4.19 Grafos bipartitos 4.20 Conexidad 4.21 Puntos de corte 4.22 Puentes 4.23 Grafos planares 4.24 Coloracin de grafos 4.25 Relaciones con listas y particiones en bloques 4.26 Algoritmo austero para colorear 22,23 Charla del profesor: Coloracin grafos.
Taller sobre coloracin grafos 4.27 Ciclos hamiltonianos y el problema del agente viajero 4.28 Algoritmo de la ruta ms corta 24,25 Charla del profesor: Ciclos eulerianos y hamiltonianos.
Taller ruta ms corta entre dos puntos mediante algoritmo Dikjstra
Prueba del Captulo 4 CAPITULO 5: ARBOLES 5.1 Introduccin 5.2 Terminologa y caracterizacin de los arboles
26,27 Charla del profesor: Introduccin a los rboles.
5.3 Arboles de expansin mximos 5.4 Arboles de expansin mnimos 28,29 Charla del profesor: Algoritmos de expansin.
Taller algoritmo PRIM y KRUSKAL
Prueba del Captulo 5
7. Recursos o Medios para el Aprendizaje
Los contenidos del programa, sern expuestos mediante conferencias donde se indicarn los aspectos conceptuales de un tema y se desarrollarn ejemplos de aplicacin prctica donde se muestre la utilizacin de los conceptos, al trmino de la clase se propondrn ejercicios de aplicacin para que desarrollen los estudiantes con apego a los temas explicados, pudiendo complementarse mediante preguntas orales y/o escritas sobre la clase dada. Adicionalmente el profesor podr proponer, para que desarrolle el estudiante como trabajo fuera de la clase lo siguiente: Investigacin bibliogrfica sobre temas escogidos en forma adecuada por el profesor. Desarrollo de ejercicios que implementen algunos conceptos de dados en el curso. Tareas enviadas en cada clase. Todas estas actividades que desarrollen los estudiantes sern evaluadas por el profesor.
8. Criterios de Evaluacin FACULTAD DE INGENIERA SLABO POR ASIGNATURA
La nota total para el semestre es de CIEN PUNTOS (100), dividida en 50 puntos para la nota de aprovechamiento y 50 puntos en exmenes; de esta ltima, el examen intersemestral se calificar sobre 20 puntos y el examen final sobre 30 puntos, de acuerdo a lo que seala el reglamento de crditos de la Universidad de Cuenca. Para la obtencin de la nota de aprovechamiento, se tomarn en cuenta las siguientes evaluaciones: Pruebas de avance de materia sobre los diferentes temas que constan en los contenidos correspondientes Trabajos de investigacin enviados por el profesor
Actividad % Pruebas parciales y trabajos. 35% Talleres en clase 15% Exmen Interciclo 20% Exmen Final 30% Total 100%
9. Bibliografa Bsica
Referencia Book of Proof, Richard Hammack, Virginia Commonwealth University, 2013 Apuntes de Matematica Discreta, Universidad de Cadiz, 2004 Matemticas discretas, Tercera edicion Seymour Lipschutz Mcgraw-Hill 2009