Escolar Documentos
Profissional Documentos
Cultura Documentos
Ingeniera
Ingeniera
Matemticas Discretas
Marzo-Julio 2014
Bsica
Presencial
4
0
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:
Asignatura
---
Cdigo
---
Co-requisitos:
Asignatura
---
Cdigo
---
FACULTAD DE INGENIERA
SLABO POR ASIGNATURA
Indicadores
Rasgos visibles y medibles que
evidencien
la
presencia
o
alcance de los resultados del
aprendizaje
Reconoce la importancia de
la lgica proposicional
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
Aplica con destreza las
teoras en ejercicios de
induccin matemtica
Reconoce
los
diferentes
Sistemas
de
Numeracin
posicionales y es capaz de
efectuar operaciones entre
ellos
Utiliza el Algebra booleana
como mecanismo para la
simplificacin
de
proposiciones simples
Resuelve
ejercicios
demostraciones.
Actividades
de
Evaluacin
(Evidencias)
Situaciones, actividades o tareas
y el tipo de instrumentos que se
va a utilizar para evaluar los
resultados de aprendizaje
Prueba: lgica de proposiciones,
demostraciones, razonamientos
y cuantificadores
Talleres
con
aplicacin
ejercicios
de
usando
FACULTAD DE INGENIERA
SLABO POR ASIGNATURA
Resuelve
problemas
reales
utilizando caminos de Euler
y caminos de Hamilton
problemas
Prueba: Algoritmo
KRUSKAL
de
PRIM,
utilizando
6. Cronograma de sesiones
CONTENIDO
Explicacin
del
Slabo
metodologa
CAPITULO 1: RAZONAMIENTOS Y
DEMOSTRACIONES
1.1.
1.2.
1.3.
SESIN
1
Razonamiento
Razonamiento vlido
Falacia
TAREA
Exposicin del profesor
1.4.
Inferencia
1.5.
Reglas de Inferencia ms
usuales
1.6.
Teorema
1.7.
Corolario
1.8.
Lema
1.9.
Demostracin
1.10. Razonamientos y
Cuantificadores
1.11. Definiciones matemticas
1.12. Regla de Particularizacin
1.13. Regla de Generalizacin
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
Charla
del
Inferencias
profesor:
Reglas
de
5,6
7,8,9
y
de
FACULTAD DE INGENIERA
SLABO POR ASIGNATURA
CAPITULO 2: SISTEMAS DE
NUMERACION
2.1 Introduccin
2.2 Sistemas numricos
2.3 Sistema binario
10
11
12, 13
14
3.4.1
3.4.2
17, 18
19
Mapas de Karnaugh
El mtodo de minimizacin
tabular de QuineMcCluskey
15, 16
20
20,21
FACULTAD DE INGENIERA
SLABO POR ASIGNATURA
4.17
4.18
4.19
4.20
4.21
4.22
4.23
4.24
4.25
4.26
4.27
4.28
Eliminacin de aristas
Eliminacin de vrtices
Grafos bipartitos
Conexidad
Puntos de corte
Puentes
Grafos planares
Coloracin de grafos
Relaciones con listas y
particiones en bloques
Algoritmo austero para
colorear
Ciclos hamiltonianos y el
problema del agente
viajero
Algoritmo de la ruta ms
corta
22,23
24,25
26,27
5.3
28,29
5.4
CAPITULO 5: ARBOLES
5.1
Introduccin
5.2
Terminologa y
caracterizacin de los
arboles
Arboles de expansin
mximos
Arboles de expansin
mnimos
Charla del
expansin.
profesor:
Algoritmos
de
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
Actividad
Pruebas parciales y trabajos.
Talleres en clase
Exmen Interciclo
Exmen Final
Total
%
35%
15%
20%
30%
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