6.2.4.3 DS/Técnicas de Prueba. (14 horas) [Nivel Bloom 4]

Referencias Bibliográficas: [Scheinerman, 2001,Brassard and Bratley, 1997,Kolman, 1997,Johnsonbaugh, 1999]

Tópicos

  1. Nociones de implicación, opuesta, inversa, contrapositiva, negación y contradicción.
  2. La estructura de pruebas matemáticas.
  3. Pruebas directas.
  4. Pruebas por contra-ejemplos.
  5. Pruebas por contraposición.
  6. Pruebas por contradicción.
  7. Inducción Matemática.
  8. Inducción fuerte.
  9. Definiciones matemáticas recursivas.
  10. Buenas prácticas.

Objetivos

  1. Bosquejar la estructura básica y dar ejemplos de cada tipo de prueba descrita en esta unidad.
  2. Discutir que tipo de prueba es mejor para un problema dado.
  3. Relacionar las ideas de inducción matemática con la recursividad y con estructuras definidas recursivamente.
  4. 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