Programa de Matemáticas Discretas

Programa de Matemáticas Discretas
Módulo I
Lógica Matemática y Teoría General de Conjuntos
1.
2.
3.
4.
5.
6.
7.
Identificar y escribir expresiones bien formadas en Lógica Proposicional.
Determinar la equivalencia de dos expresiones bien formadas en Lógica
Proposicional.
Interpretación de situaciones de la vida real utilizando Lógica Proposicional.
Escribir expresiones sintácticamente correctas en Lógica de Predicados.
Interpretación de situaciones de la vida real utilizando Lógica de Predicados.
Construcción de pruebas para verificar la validez o invalidez de un
argumento simbólico dado un conjunto de premisas.
Describir y demostrar propiedades conjuntuales utilizando el lenguaje de la
Lógica.
Módulo II
Relaciones, Funciones y Análisis Combinatorio
1.
2.
3.
4.
5.
Uso de relaciones y clases de equivalencia en la solución de problemas.
Determinación de las propiedades de funciones y cálculo con sus operaciones.
Aplicación del uso del principio de la multiplicación en análisis combinatorio.
Aplicación del uso de la permutación como herramienta para resolver
problemas.
Aplicación del uso de la combinación como herramienta para resolver
problemas.
Módulo III
Teoría de Grafos
1.
Uso de teoría de grafos en la solución de problemas de matemáticas.
2.
Uso de teoría de grafos en la solución de problemas de la electrónica,
computación e información.
Módulo IV
Estructuras Algebraicas
1. Clasificación del tipo de estructuras algebraicas correspondientes a conjuntos
numéricos con determinadas operaciones.
2. Clasificación del tipo de estructuras algebraicas correspondientes a conjuntos
de funciones con determinadas operaciones.