6.2.2 Objetivos Generales

  1. Desarrollar Operaciones asociadas con conjuntos, funciones y relaciones.
  2. Relacionar ejemplos prácticos al modelo apropiado de conjunto, función o relación.
  3. Conocer las diferentes técnicas de conteo más utilizadas.
  4. Describir como las herramientas formales de lógica simbólica son utilizadas.
  5. Describir la importancia y limitaciones de la lógica de predicados.
  6. Bosquejar la estructura básica y dar ejemplos de cada tipo de prueba descrita en esta unidad.
  7. Relacionar las ideas de inducción matemática con la recursividad y con estructuras definidas recursivamente.
  8. Enunciar, identificar y habituarse a los conceptos más importantes de Conjuntos Parcialmente Ordenados y Látices
  9. Analizar, comentar y aceptar las nociones básicas de Álgebras Booleanas.



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