Aprendizajes esperados
Estructuras matemáticas discretas · Dominio 1: Pensamiento cuantitativo y alfabetización básica
RAMD1 Analiza proposiciones y estructuras lógicas mediante el uso de conectivos, tablas de verdad y relaciones de implicación y equivalencia lógica.
Descriptores 8
- ICLC1 Representa proposiciones simples y compuestas utilizando lenguaje simbólico.
- ICLC2 Describe y justifica la estructura de un enunciado mediante conectores lógicos.
- ICLC3 Determina la contraria, recíproca y contrarrecíproca de una proposición condicional.
- ICLC4 Construye tablas para determinar valores de verdad de proposiciones compuestas.
- ICLC5 Determina tautologías, contradicciones y contingencias a partir de tablas de verdad.
- ICLC6 Establece equivalencias entre enunciados utilizando leyes y propiedades.
- ICLC7 Aplica leyes de equivalencia para simplificar expresiones proposicionales.
- ICLC8 Interpreta expresiones simbólicas en diferentes contextos.
Programas a los que aplicaría 1
Ingeniería
- Ingeniería en ciencia de datos
RAMD2 Evalúa argumentos deductivos mediante métodos de inferencia lógica y elementos básicos de lógica de predicados.
Descriptores 11
- ICLC10 Explica cuando una proposición se deduce lógicamente de un conjunto de premisas.
- ICLC11 Determina la validez de un argumento utilizando tablas de verdad.
- ICLC12 Aplica reglas de inferencia en procesos de deducción proposicional.
- ICLC13 Identifica falacias en razonamientos inductivos y deductivos en diferentes contextos.
- ICLC14 Representa expresiones mediante fórmulas proposicionales.
- ICLC15 Interpreta y representa enunciados que involucren cuantificadores universales y existenciales.
- ICLC16 Utiliza diagramas para representar juicios universales y particulares y sus negaciones.
- ICLC17 Aplica reglas de la deducción cuantificacional para determinar conclusiones y determinar la validez de un argumento.
- ICLC18 Aplica inducción matemática en procesos de demostración.
- ICLC19 Aplica el método apropiado en procesos de demostración directa e indirecta de teoremas sencillos
- ICLC9 Identifica premisas y conclusiones en enunciados del lenguaje natural y simbólico.
Programas a los que aplicaría 1
Ingeniería
- Ingeniería en ciencia de datos
RAMD3 Comprende y aplica relaciones, operaciones y propiedades algebraicas entre conjuntos en contextos matemáticos formales.
Descriptores 8
- ICLC20 Formaliza conjuntos mediante extensión, comprensión y representación simbólica.
- ICLC21 Describe relaciones de pertenencia, inclusión e igualdad entre conjuntos.
- ICLC22 Aplica operaciones entre conjuntos: unión, intersección, diferencia y complemento.
- ICLC23 Representa relaciones y operaciones entre conjuntos mediante diagramas de Venn.
- ICLC24 Analiza propiedades algebraicas de las operaciones entre conjuntos.
- ICLC25 Utiliza leyes distributivas, asociativas, conmutativas y de complemento en la solución de problemas del álgebra de conjuntos.
- ICLC26 Aplica leyes de De Morgan en la transformación de expresiones que expresan relaciones entre conjuntos.
- ICLC27 Resuelve problemas utilizando reglas y operaciones entre conjuntos.
Programas a los que aplicaría 1
Ingeniería
- Ingeniería en ciencia de datos