6.2.4.4 AR/Lógica Digital y Representación de Datos. (19 horas) [Nivel Bloom 3]

Referencias Bibliográficas: [Kolman, 1997,Grimaldi, 1997,Gersting, 1987] Tópicos
  1. Conjuntos Parcialmente Ordenados.
  2. Elementos extremos de un conjunto parcialmente ordenado.
  3. Látices.
  4. Álgebras Booleanas.
  5. Funciones Booleanas.
  6. Introducción a la lógica digital (compuertas lógicas, flip-flops, circuitos).
  7. Expresiones lógicas y expresiones booleanas.
Objetivos
  1. Bosquejar la estructura básica y dar ejemplos de cada tipo de prueba descrita en esta unidad.
  2. Discutir que tipo de prueba es mejor para un problema dado.
  3. Relacionar las ideas de inducción matemática con la recursividad y con estructuras definidas recursivamente.



Generado por Ernesto Cuadros-Vargas , Sociedad Peruana de Computación-Peru, Universidad Católica San Pablo, Arequipa-Peru
basado en el modelo de la Computing Curricula de IEEE-CS/ACM