Razonamiento lógico y estructuras matemáticas discretas
Nivel 5: Matemáticas avanzadas y estructuras computacionales
RAMD1 Aplica principios de la lógica matemática y la teoría de conjuntos para analizar, demostrar y estructurar razonamientos matemáticos formales.
Indicadores de conocimiento 3
- ICMD1 Determina el dominio, la imagen y el tipo de una relación y representa su grafo.
- ICMD2 Identifica y representa conjuntos, subconjuntos y relaciones entre conjuntos mediante notación y diagramas apropiados.
- ICMD3 Aplica operaciones de unión, intersección, diferencia y complemento y verifica sus propiedades algebraicas
Programas que lo imparten 1
Ingeniería
- Ingeniería de sistemas
RAMD2 Analiza relaciones, funciones y sistemas de numeración, aplicando estructuras discretas para modelar procesos matemáticos y computacionales
Indicadores de conocimiento 4
- ICMD4 Determina el dominio, la imagen y el tipo de una relación y representa su grafo.
- ICMD5 Analiza funciones, calcula su composición y determina la existencia de la función inversa.
- ICMD6 Describe sucesiones definidas por recurrencia y analiza su comportamiento.
- ICMD7 Realiza conversiones entre sistemas numéricos decimal, binario, octal y hexadecimal aplicando algoritmos formales.
Programas que lo imparten 1
Ingeniería
- Ingeniería de sistemas
RAMD3 Usa el álgebra de Boole para modelar, analizar y simplificar circuitos lógicos utilizados en sistemas digitales.
Indicadores de conocimiento 3
- ICMD10 Optimiza circuitos combinatorios mediante álgebra de Boole y mapas de Karnaugh.
- ICMD8 Simplifica expresiones booleanas aplicando leyes y propiedades fundamentales.
- ICMD9 Diseña circuitos combinatorios utilizando compuertas lógicas básicas.
Programas que lo imparten 1
Ingeniería
- Ingeniería de sistemas