Universidad del Magdalena

Vicerrectoría Académica
Formato Microdiseño

1 IDENTIFICACION
1.1 Código 1.2 Nombre 1.3 Pre-Requisito 1.4 Co-Requisito
011412 Matemáticas Discretas
No. Créditos HADD HTI Proporción HADD:HTI

4 64 128 1:2
Obligatorio x Optativo Libre
Teórico x Practico Teórico/Practico
1.5 Unidad Académica Responsable del Curso
Ingeniería de Sistemas
1.6 Área de Formación
Básica de Ingeniería
1.7 Componente No aplica
Matemáticas
1.8 Objetivo General
Estudiar rigurosamente estructuras y objetos matemáticos discretos de naturaleza finita o infinita
numerables, esenciales en ciencias de la computación, para proporcionarle a los estudiantes de
Ingeniería de Sistemas la fundamentación teórica sobre estructuras matemáticas discretas, las
cuales son de vital importancia en el diseño, construcción y análisis de sistemas informáticos y teoría
de la computación.
1.9 Objetivos Específicos

▪ Conocer que son las Matemáticas Discretas y como se aplican en la Ingeniería de Sistemas.
▪ Estudiar las estructuras lógicas formales y su aplicación en la justificación de sistemas
axiomáticos y afirmaciones que requieren ser demostradas.
▪ Revisar los conceptos básicos relacionados con teoría de conjuntos, conjuntos numéricos y
sistemas de numeración usados en ciencias de la computación.
▪ Conocer los conceptos de relación y función y como tales conceptos se pueden usar para
describir estructuras algorítmicas y construir modelos computacionales.
▪ Estudiar la naturaleza de las sucesiones y las relaciones de recurrencia, y su analogía con
estructuras algorítmicas cíclicas y recursivas.
▪ Analizar el Álgebra de Boole como estructura algebraica que esquematiza las operaciones
lógicas y aritméticas de las maquinas computacionales modernas.
▪ Estudiar la teoría algorítmica de los números enteros y racionales.
▪ Representar relaciones binarias por medio de grafos y árboles.
▪ Diseñar máquinas de estado finito y analizar lenguajes formales.

Código: DO-F03 Aprobado: 25/02/2015 Página 1 de 5

Versión: 03
Vicerrectoría Académica
Microdiseño

2 Justificación (Max 600 palabras).

El ingeniero de Sistemas de la Universidad del Magdalena, debe ser un agente generador de cambios
y a través de las nuevas teorías Administrativas y de sistemas debe propiciar el desarrollo armónico y
de excelencia de las empresas regionales, nacionales e internacionales, por lo tanto debe
comprender entre otras cosas la importancia de las Matemáticas Discretas en términos de sus
contenidos y estructuras formales como fundamentación teórica para el desarrollo del pensamiento
lógico-matemático y la habilidad para diseñar algoritmos y soluciones computacionales a problemas
de ciencia e ingeniería.

3 Competencias a Desarrollar

3.1 Competencias Genéricas

▪ Capacidad para formular, plantear, transformar y resolver problemas matemáticos.
▪ Desarrollo y profundización del pensamiento lógico matemático
▪ Identificación de regularidades, modelos y estructuras matemáticas en procesos y situaciones
problémicas.
▪ Capacidad comunicativa en lenguaje matemático.
▪ Habilidad para usar calculadoras y software matemáticos en la solución de problemas
matemáticos.
▪ Capacidad para juzgar la validez de un razonamiento lógico matemático.
3.2 Competencias Específicas
▪ Capacidad para aplicar las estructuras lógicas formales en la demostración de enunciados lógicos
y en el diseño y construcciones de sistemas discretos.
▪ Habilidad para construir a partir de la teoría de conjuntos el resto de estructuras formales de las
Matemáticas Discretas.
▪ Entendimiento de la naturaleza de las relaciones entre conjuntos y las funciones como
fundamentación teórica en la construcción de modelos matemáticos.
▪ Habilidad para construir algoritmos de naturaleza recursiva y cíclica a partir de sucesiones y
estructuras matemáticas recurrentes.
▪ Entendimiento de la fundamentación matemática de los circuitos lógicos a partir del Algebra de
Boole y como se aplica en su diseño y simplificación.
▪ Capacidad para comprender las propiedades de los números enteros y racionales.
▪ Capacidad para diseñar estructuras algorítmicas como grafos y arboles a partir de estructuras
discretas.
▪ Habilidad para construir máquinas de estado finito y analizar lenguajes formales.

Código: DO-F03 Aprobado: 25/02/2015 Página 2 de 5

Versión: 03
Vicerrectoría Académica
Microdiseño

4 Contenido y Créditos Académicos

Unidades Tiempos
N N Temas HADD HTI
/Capítulos T P T P
Total

1.1 Proposiciones. 1 2 3
Conjunción, disyunción, negación, condicional y
1.2 1 2 3
bicondicional.
LOGICA Y MÉTODOS 1.3 Equivalencias lógicas. 1 2 3
1
DE DEMOSTRACIÓN.
1.4 Cuantificadores. 1 2 3
1.5 Métodos de demostración. 2 4 6
1.6 Inducción matemática. 2 4 6
2.1 Notación. 1 2 3
Conjuntos finitos e infinitos. Igualdad de conjuntos.
2.2 Conjunto vacío. Subconjuntos. Conjunto universal y 1 2 3
conjunto potencia.
CONJUNTOS Y Operaciones con conjuntos; unión, intersección,
2.3 1 2 3
2 SISTEMAS DE diferencia y complemento.
NUMERACIÓN. 2.4 Partición de un conjunto. Producto cartesiano. 1 2 3
2.5 Conjuntos numéricos. 1 2 3
2.6 Sistemas de numeración. 2 4 6
2.7 Conversión entre sistemas de numeración. 1 2 3
Relaciones. Conjuntos de solución y grafos de
3.1 1 2 3
relaciones.
Dominio e imagen de una relación. Relaciones
3.2 1 2 3
inversas.
Tipos de relaciones; reflexivas, simétricas,
3.3 1 2 3
entisimetricas, transitivas de equivalencia.
RELACIONES Y 3.4 Funciones. 1 2 3
3
FUNCIONES.
3.5 Dominio e imagen de una función. 1 2 3
Tipos de funciones; inyectiva, sobreyectiva,
3.6 1 2 3
idéntica, constante
3.7 Composición de funciones. 1 2 3
3.8 Función inversa. 1 2 3
4.1 Sucesiones. 1 2 3
4.2 Sucesiones crecientes y decrecientes. 1 2 3
SUCESIONES Y 4.3 Subsucesiones. 1 2 3
4
RECURRENCIA. 4.4 Sumatorias y productorias. 1 2 3
4.5 Relaciones de recurrencia. 1 2 3
4.6 Solución de relaciones de recurrencia. 2 4 6
Circuitos combinatorios; compuerta AND, OR y
5.1 1 2 3
NOT.
5.2 Expresiones booleanas. 2 4 6
5.3 Propiedades de los circuitos combinatorios. 2 4 6
5 ALGEBRA DE BOOLE. 5.4 Circuitos equivalentes. 2 4 6
5.5 Algebra booleana. 2 4 6
5.6 Funciones booleanas y simplificación de circuitos. 2 4 6
5.7 Aplicaciones. 2 4 6
INTRODUCCIÓN A LA 6.1 Divisores. 1 2 3
6
TEORIA DE NUMEROS 6,2 Números primos y compuestos. 1 2 3

Código: DO-F03 Aprobado: 25/02/2015 Página 3 de 5

Versión: 03
Vicerrectoría Académica
Microdiseño

Unidades Tiempos
N N Temas HADD HTI
/Capítulos T P T P
Total

6.3 Máximo común divisor y mínimo común múltiplo. 1 2 3

6,4 Representación de enteros y algoritmos enteros. 1 2 3
6.5 El algoritmo euclidiano 1 2 3
7.1 Grafos. 1 2 3
7.2 Trayectorias y ciclos. Ciclos hamiltonianos. 1 2 3
7.3 El algoritmo de la ruta más corta. 1 2 3
7.4 Representación de grafos. 1 2 3
INTRODUCCIÓN A LA 7.5 Isomorfismos de grafos. 1 2 3
7 TEORIA DE GRAFOS Y
ARBOLES. 7.6 Árboles. 1 2 3
7.7 Arbole de expansión. 1 2 3
7.8 Arboles binarios. 1 2 3
7.9 Árboles de decisiones. 1 2 3
7.10 Isomorfismos de árboles. 1 2 3
8.1 Circuitos secuenciales y máquinas de estado finito. 1 2 3

AUTOMATAS, 8.2 Autómata de estado finito. 1 2 3

8 LENGUAJES Y 8.3 Lenguajes y gramáticas. 2 4 6
GRAMATICAS. 8.4 Autómata de estado finito no determinístico. 1 2 3
8.5 Relaciones entre lenguajes y autómatas. 1 2 3
Total 64 128 192
Créditos Académicos 4

5 Prácticas Académicas (Laboratorios y Salida de Campo)

Temática Actividad Tema Recursos Tiempo (h) Semana

6 Metodología (máximo 600 palabras)

La asignatura será desarrollada con clases magistrales del profesor. Exposiciones por parte de los
estudiantes. Talleres que serán realizados en forma presencial y autónoma. En equipos de trabajos,
los estudiantes consultaran las diferentes guías de estudio suministradas por el profesor para la
fundamentación teórica de las diversas unidades de la asignatura. El uso de Internet es indispensable
para interactuar con diferente software, relacionados con temas específicos. El desarrollo de talleres
para el desarrollo de problemas propuestos y clases magistrales que le permitirán al estudiante una
excelente formación en el área. Por último, se debe mostrar el lugar que toma, dentro de la propuesta
metodológica, la realización de actividades de investigación formativa y de extensión que se
proponen como parte integral del curso. Esto permitirá mantener la coherencia con el enfoque de
formación que propende la institución al hacer explícito que sus egresados tienen capacidad de tomar
acciones, soportadas en sólidos conocimientos científicos y tecnológicos, que transformen el medio.

Código: DO-F03 Aprobado: 25/02/2015 Página 4 de 5

Versión: 03
Vicerrectoría Académica
Microdiseño

7 Evaluación (máximo 800 palabras)

La evaluación será integral y continua, se apoyara en un examen parcial, tests o talleres en clase y
trabajos extra clase, algunas prácticas con Matlab, un examen final. Los exámenes parciales se
realizaran en hora de clase en una fecha que se avisará con antelación cuyo valor esta distribuido
así: 100 puntos examen individual y 50 puntos en las demás actividades (Tareas, talleres, etc).
Durante los tests no se permitirá la utilización de apuntes y libros. Los Trabajos extra–clase y los
talleres (se permitirá la utilización de apuntes y libros). El temario evaluado en el examen parcial
podrá volver a ser evaluado también en el examen final. Se hará un seguimiento al estudiante
mediante la presentación de talleres, trabajos, prácticas y exámenes escritos. El examen final tiene
una valoración de 130 puntos en un parcial individual y 60 puntos en talleres y trabajos grupales. La
autoevaluación tiene un valor máximo de 10 puntos.

8 Recursos Educativos
N Nombre Justificación Hora (h)
Un Mödulo y una bibliografía
1 Fundamentación teórica de la asignatura.
complementaria.
2 Video Beam. Presentación y exposición de temas específicos.
3 Internet. Búsqueda actualizada de información.

9 Referencias Bibliográficas
Estructuras de Matemáticas Discretas para la Computación, B. Kolman y R.C. Busby (Ed. Prentice
Hall).
Matemática Discreta, R. Johnsonbaugh (Grupo Editorial Iberoamericano).
Matemática Discreta, S. Lipschutz (Ed. McGraw-Hill).
Elementos de Matemáticas Discretas, C.L. Liu (Ed. McGraw Hill).
Lógica Digital y Diseño de Computadores Mano Morris. Ed. Prentice Hall.
Estructuras de Matemáticas discretas para la Computación. Kolman Bernal Ed.Prentice Hall.
Matemática Discreta y Combinatoria, R.P. Grimaldi (Ed. Addison Wesley)
Estructuras de Matemáticas Discretas para la Computación, B. Kolman y R.C. Busby (Ed. Prentice
Hall).

10 Recursos Educativos

Director de Programa Decano Facultad Bibliográficas

Código: DO-F03 Aprobado: 25/02/2015 Página 5 de 5

Versión: 03