Beruflich Dokumente
Kultur Dokumente
**********************************************************************
************************
PROGRAMA: Ingeniería de Sistemas
ASIGNATURA: Matemáticas Discretas
SEMESTRE: II
**********************************************************************
************************
JUSTIFICACIÓN
- Algebra Booleana, le permitirá enfrentar temáticas que tienen que ver con circuitos
digítales, su diseño gráfico, su optimización y diseño de tablas de verdad.
- Cálculo de Predicados le permitirá enfrentar las temáticas que tienen que ver con el
diseño de bases de datos de conocimientos muy utilizadas en la Inteligencia Artificial,
más específicamente en el desarrollo de sistemas expertos.
Por lo anteriormente expresado considero que la matemática discreta debe estar presente
en un buena proporción para que fortalezca una de las áreas de la Ingeniería de
Sistemas, la Programación de Computadores y que soporte las buenas prácticas del
Desarrollo de Software.
__________________________________________________________________
DISTRIBUCIÓN DE CONTENIDOS
FASCÍCULO I
CONTENIDO
TITULO (CÁLCULO PROPOSICIONAL)
Temas
- Proposiciones
- Términos de enlace
- Simbología
- Inferencia lógica
- Demostración Directa
o Reglas de Inferencia
- Deducción Proposicional
- Certeza y Validez
- Tablas de Certeza
- Diagramas de Certeza y Validez
- Conclusiones no válidas
- Demostración Condicional
- Implicaciones lógicas
- Equivalencias lógicas
- Leyes de la lógica
FASCÍCULO II
CONTENIDO
TITULO (CÁLCULO DE PREDICADOS)
Temas
- Términos y Predicados
- Cuantificadores
- Cuantificador Universal
- Cuantificador Existencial
- Especificación Universal y leyes de identidad
FASCÍCULO III
CONTENIDO
TITULO (ELEMENTOS DE LA TEORÍA DE CONJUNTOS)
Temas
- Conjuntos y operaciones
- Diagramas lineales
- Diagramas de Venn
- Cardinalidad
FASCÍCULO IV
CONTENIDO
TITULO (PRINCIPIOS DE CONTEO)
Temas
- Regla de la Suma
- Permutaciones
- Combinatoria
FASCÍCULO V
CONTENIDO
TITULO (RELACIONES y FUNCIONES)
Temas
- Tipos de Relaciones
- Relación reflexiva
- Relación Simétrica
- Relación Antisimétrica
- Relación Transitiva
- Relación de Equivalencia
- Funciones
- Definición de Función
- Tipos de Funciones
- Función módulo
- Función Piso
- Función Techo
- Función Hashing
FASCÍCULO VI
CONTENIDO
TITULO (GRÁFOS Y ÁRBOLES)
Temas
- Definición grafos
- Grafo dirigido
- Grafo no dirigido
- Caminos y ciclos
- Representación Matricial
- Matriz de adyacencia
- Matriz de incidencia
- Clases de Grafos
- Grafos Isomorfos
- Grafos Conexos
- Grafos planos
- Definición de Árboles
- Tipos de Árboles
- Clasificación por nodo
- Clasificación por altura
- Árbol libre
- Árbol binario
- Árbol Generador
- Búsqueda a lo ancho
- Búsqueda en profundidad
FASCÍCULO VII
CONTENIDO
TITULO (ALGEBRA BOOLEANA)
Temas
- Definición
- Variables y constantes
FASCÍCULO VIII
CONTENIDO
Temas
- Compuertas lógicas
- Tablas de Verdad
BIBLIOGRAFÍA RECOMENDADA
BARCO GÓMEZ, Carlos, et al. Matemática Digital. Colombia: McGraw Hill, 2001.
GARCÍA M., Félix. Matemática Discreta. 2ª. Edición. España: Tnomson, 2005.
KOLMAN, B., et al. Matemáticas Discretas. 3a. edición. México: Prentice Hall, 1997