FACULTAD DE INGENIERA

SLABO POR ASIGNATURA

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.

3. Conocimientos necesarios
Pre-requisitos: Co-requisitos:
Asignatura Cdigo Asignatura Cdigo
--- --- --- ---

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

1.1. Razonamiento
1.2. Razonamiento vlido
1.3. Falacia

2




Charla del profesor: Razonamiento y
Falacia

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


10. Bibliografa Complementaria

Referencia
Artculos web.