Aprendizajes esperados

• 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.

Ingeniería

• Ingeniería de sistemas

• 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.

Ingeniería

• Ingeniería de sistemas

• 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.

Ingeniería

• Ingeniería de sistemas

• 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.

Ingeniería

• Ingeniería de sistemas
• Ingeniería en ciencia de datos

• 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.

Ingeniería

• Ingeniería de sistemas
• Ingeniería en ciencia de datos