4.1.3 DS/Técnicas de Prueba. (12 horas)

Tópicos

• Nociones de implicación, opuesta, inversa, contrapositiva, negación y contradicción.
• La estructura de pruebas matemáticas.
• Pruebas directas.
• Pruebas por contra-ejemplos.
• Pruebas por contraposición.
• Pruebas por contradicción.
• Inducción Matemática.
• Inducción fuerte.
• Definiciones matemáticas recursivas.
• Buenas prácticas.

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.