Referencias Bibliográficas: [,,,]
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.
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
