Matemática Discreta I · T3

Inducción matemática

Tema 03 · Johnsonbaugh, 6.ª ed., §1.7–1.8

Muchas afirmaciones de la informática dicen algo «para todo n»: una fórmula vale para cualquier cantidad de términos, un ciclo termina con el resultado correcto después de cualquier número de vueltas, un tablero de cualquier tamaño se puede cubrir. Comprobar casos sueltos nunca alcanza, porque los casos son infinitos. La inducción matemática resuelve el problema con dos pruebas finitas: el primer caso, y que cada caso arrastra al siguiente. La guía sigue Johnsonbaugh §1.7 (el principio y sus usos) y §1.8 (la forma fuerte y la propiedad del buen orden), con las páginas citadas punto a punto.

Versión
2.0
Publicada
Páginas
30 + 12 del solucionario
Formato
PDF · A4
Enlace

( Contenido ) Temas

  • función proposicional
  • contraejemplo
  • paso base
  • hipótesis de inducción
  • paso inductivo
  • principio de inducción
  • base desplazada
  • sumatoria
  • suma geométrica
  • factorial
  • divisibilidad
  • trominós
  • invariante de ciclo
  • forma fuerte
  • buen orden
  • cociente y residuo

( Historial ) Versiones

  1. v2.0 Actual PDF Solucionario
    • Tema rehecho sobre Johnsonbaugh §1.7–1.8: 18 definiciones, 11 puntos, 13 figuras nuevas, ejemplos resueltos y 20 preguntas de autoevaluación.
  2. v1.0 PDF Solucionario