TD1.5 Preuves de correction et de terminaison
Démonstration. Prenons le prédicat P(n) : (?i | 0 ? i ? n : 2i) = n(n + 1). Alors nous devons démontrer que (?n : N |: P(n)). Et par le principe d'induction ...
Démonstration. Prenons le prédicat P(n) : (?i | 0 ? i ? n : 2i) = n(n + 1). Alors nous devons démontrer que (?n : N |: P(n)). Et par le principe d'induction ...