DS3. Técnicas de Validación. (12 horas)

Tópicos

• Nociones de implicación, converso, inversa, contrapositiva, negación y contradicción.
• Estructura de pruebas formales.
• Pruebas Directas.
• Pruebas y contra-ejemplos.
• Pruebas por contraposición.
• Pruebas por contradicción.
• Inducción Matemática.
• Inducción fuerte.
• Definiciones matemáticas recursivas.
• El principio del buen orden.

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.
• Identificar las diferencias entre inducción matemática e inducción fuerte dando ejemplos de su apropiado uso en cada caso.