4.2.4.4 Fundamentos de Lógica Digital (10 horas) [Habilidades ABET1,ABET6]

Referencias Bibliográficas: [Rosen, 2007,Grimaldi, 2003] Temas

1. Órdenes Parciales y Conjuntos Parcialmente Ordenados.
2. Elementos extremos de un Conjunto Parcialmente Ordenado.
3. Retículas: Tipos y propiedades.
4. Álgebras Booleanas
5. Funciones y expresiones Boolenas
6. Representación de Funciones Booleanas: Forma Normal Disyuntiva y Conjuntiva
7. Puertas Lógicas
8. Minimización de funciones booleanas.

Objetivos de Aprendizaje (Learning Outcomes)

1. Explicar la importancia del Álgebra de Boole como unificación de la Teoría de Conjuntos y la Lógica Proposicional [Familiarizarse].
2. Demostrar enunciados usando el concepto de retícula y sus propiedades[Evaluar].
3. Explicar la relación entre retícula y conjunto parcialmente ordenado [Familiarizarse].
4. Demostrar para una terna formada por un conjunto y dos operaciones internas, si cumple las propiedades de una Álgebra de Boole [Evaluar].
5. Representar una función booleana en sus formas canónicas[Usar].
6. Representar una función booleana como un circuito booleano usando puertas lógicas [Usar].
7. Minimizar una función booleana [Usar].