Diapositivas del curso
Lógica Proposicional
Introduce el lenguaje formal de la lógica proposicional y los mecanismos básicos para evaluar la verdad de expresiones lógicas.
Resultados de aprendizaje
- Identificar proposiciones y conectores lógicos en enunciados del lenguaje natural.
- Construir y evaluar tablas de verdad para expresiones proposicionales.
- Analizar la validez de argumentos simples usando herramientas formales.
Lógica Cuantificacional
Extiende la lógica proposicional mediante cuantificadores para razonar formalmente sobre dominios más generales.
Resultados de aprendizaje
- Interpretar y formular expresiones con cuantificadores universales y existenciales.
- Traducir enunciados del lenguaje natural a lógica cuantificacional.
- Evaluar la validez de razonamientos que involucran cuantificadores.
Conjuntos y Relaciones
Estudia las estructuras fundamentales para modelar colecciones de objetos y las relaciones entre ellos.
Resultados de aprendizaje
- Describir y manipular conjuntos mediante operaciones básicas.
- Analizar funciones y relaciones como modelos formales de dependencia.
- Clasificar relaciones según sus propiedades (reflexividad, simetría, transitividad).
Álgebra de Boole
Introduce estructuras algebraicas que permiten modelar y simplificar expresiones lógicas, con aplicaciones en computación digital.
Resultados de aprendizaje
- Representar expresiones lógicas usando estructuras del álgebra de Boole.
- Simplificar expresiones booleanas aplicando leyes algebraicas.
- Reconocer aplicaciones del álgebra de Boole en sistemas computacionales.