4.2.5.4 Fundamentos de Lógica Digital (10 horas) [Habilidades a,j,1,6]

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

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