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.
Sociedad Peruana de Computación