7.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.