Referencias Bibliográficas: [,,]
Tópicos
- Conjuntos Parcialmente Ordenados.
- Elementos extremos de un conjunto parcialmente ordenado.
- Látices.
- Álgebras Booleanas.
- Funciones Booleanas.
- Introducción a la lógica digital (compuertas lógicas, flip-flops, circuitos).
- Expresiones lógicas y expresiones booleanas.
Objetivos
- Bosquejar la estructura básica y dar ejemplos de cada tipo de prueba descrita en esta unidad.
- Discutir que tipo de prueba es mejor para un problema dado.
- 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
