Você está na página 1de 6

FACULTAD DE INGENIERA

SLABO POR ASIGNATURA


1. Informacin General
Facultad
Carrera
Denominacin de la asignatura
Cdigo de la Asignatura
Perodo acadmico
Eje de Formacin
Modalidad
Nmero de crditos / teora
Nmero de crditos / prctica
Profesor (es) responsable(s)
Nombre:
Diego Ponce Vsquez
Correo electrnico:
diego.ponce@ucuenca.edu.ec

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
---

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

Analiza y aplica los principios


lgicos en su vida cotidiana

Reconoce la importancia de
la lgica proposicional

Discrimina
inferencias
y
falacias
a
partir
del
conocimiento de las reglas y
leyes lgicas

Obtiene conclusiones acertadas


a partir de un conjunto de
proposiciones

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

Modela y resuelve problemas


reales mediante la teora de
grafos

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

Aplica los pasos bsicos para la


resolucin
de
problemas
aplicando el mtodo inductivo
Resuelve ejercicios operando en
diferentes bases
Lee y crea diferentes problemas
en bases diferentes al decimal.
Simplifica funciones booleanas
usando formas cannicas de
representacin.
Resuelve
simplificaciones
de
expresiones usando mapas de
Karnaugh
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.

Taller ejercicios de aplicacin y


prueba de conceptos
Prueba: Conversin entre bases,
operaciones
bsicas
y
representacin

Prueba: Formas canoncas de


representacin,
leyes
del
algebra boole, mapas de
Karnaugh

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

Utiliza las teoras adecuadas


para
resolver
problemas
reales usando rboles

Aplica algoritmos adecuados


para encontrar el camino ms
corto
Analiza las caractersticas de los
grafos de tipo rbol.
Resuelve
rboles

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

Charla del profesor: Razonamiento y


Falacia
Taller sobre razonamientos

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

Taller sobre reglas de inferencia


Charla del profesor: Demostraciones
Taller sobre demostraciones

5,6

7,8,9

Charla del profesor: Razonamientos y


Cuantificadores
Taller
sobre
razonamientos
cuantificadores
Charla del profesor: Mtodos
demostracin
Taller de mtodos de demostracin
Prueba del Captulo 1

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

2.4 Sistema octal


2.5 Sistema hexadecimal
2.6 Conversin entre bases

11

2.7 Operaciones aritmticas

12, 13

Charla del profesor: Introduccin a los


sistemas de numeracin y el sistema
binario.
Taller
de
sistemas
posiciones
y
transformacin a base dos.
Charla del profesor: Sistemas octal y
hexadecimal.
Taller de conversin entre bases de
numeracin.
Charla
del
profesor:
Operaciones
bsicas suma, resta, multiplicacin y
divisin.
Prueba del Captulo 2
Taller de operaciones bsicas en
diferentes bases de numeracin.
Charla del profesor: Introduccin al
algebra de Boole.

CAPITULO 3: ALGEBRA BOOLEANA


3.1
Variables y Constantes
booleanas
3.2
Propiedades del Algebra
booleana
3.3
Expresiones booleanas
minimales
3.4
Simplificacin de
expresiones booleanas

14

3.4.1
3.4.2

17, 18

Taller de simplificacin de expresiones


booleanas y paso a formas cannicas
Taller de simplificacin de expresiones
usando el mtodo de mapas de
Karnaugh y Quine-McCluskey.

19

Prueba del Captulo 3


Charla del profesor: Introduccin a la
teora de grafos.

Mapas de Karnaugh
El mtodo de minimizacin
tabular de QuineMcCluskey

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
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
4.12
Isomorfismo de grficas
4.13
Grafos complementarios
4.14
Subgrafos
4.15
Subgrafos expandido
4.16
Subgrafo inducido

15, 16

Charla del profesor: Simplificacin de


expresiones booleanas.

Lectura sobre el problema de los


puentes de Konigsberg

20

Charla del profesor: Grafos regulares


Taller sobre grados de un vrtice, grado
entrada y salida, grafos regulares

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
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

Taller sobre coloracin grafos

24,25

26,27

5.3

28,29

5.4

Charla del profesor: Ciclos eulerianos y


hamiltonianos.
Taller ruta ms corta entre dos puntos
mediante algoritmo Dikjstra

CAPITULO 5: ARBOLES
5.1
Introduccin
5.2
Terminologa y
caracterizacin de los
arboles
Arboles de expansin
mximos
Arboles de expansin
mnimos

Charla del profesor: Coloracin grafos.

Prueba del Captulo 4


Charla del profesor: Introduccin a los
rboles.

Charla del
expansin.

profesor:

Algoritmos

de

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.
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

10. Bibliografa Complementaria


Referencia
Artculos web.

Você também pode gostar