Scribd
Importer
77 vues1 page

7 TD Terminaison Et Correction

Le document traite de la terminaison et de la correction des algorithmes, en se concentrant sur les invariants de boucle. Il présente des exercices sur la division euclidienne et des démonstrations par récurrence, notamment l'inégalité de Bernoulli. Les étapes incluent la détermination d'invariants, la vérification de leur validité et la preuve de la terminaison des boucles.

Transféré par

fahdelmahdi5
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd
77 vues1 page

7 TD Terminaison Et Correction

Le document traite de la terminaison et de la correction des algorithmes, en se concentrant sur les invariants de boucle. Il présente des exercices sur la division euclidienne et des démonstrations par récurrence, notamment l'inégalité de Bernoulli. Les étapes incluent la détermination d'invariants, la vérification de leur validité et la preuve de la terminaison des boucles.

Transféré par

fahdelmahdi5
Copyright
© © All Rights Reserved
Nous prenons très au sérieux les droits relatifs au contenu. Si vous pensez qu’il s’agit de votre contenu, signalez une atteinte au droit d’auteur ici.
Formats disponibles
Téléchargez aux formats PDF, TXT ou lisez en ligne sur Scribd

1.

6 Terminaison et correction
Invariant de boucles 20
19
18
17
16
15
14
13
12
10
11
123456789 mn
mn

Exercice 1
Division euclidienne de n par d
q, r =0, n
Terminaison et correction while r >= d:
q=q+1
r=r-d
• Déterminer un invariant de boucle
• Vérifier que cette propriété est vraie avant la boucle (initialisation)
• Vérifier qu’elle reste vraie à chaque itération (conservation)
• Vérifier que la boucle se termine (terminaison)
128 129

1.6 Terminaison et correction 1.6 Terminaison et correction


Récurrence/induction structurelle 10
9 mn
8
7
6
5
4
3
2
1 mn
Récurrence/induction structurelle 10
123456789 mn
mn

Exercice 2

A. Un nombre très important de candidats pense que si a ≥ 4 et b ≥ 4 Exercice 3 : inégalité de Bernoulli


 
alors   1 
  Démontrez par récurrence que ∀  ∈ ℝ 1  1  
Qu’en pensez-vous?

B. Sachant que x ≥ 11, démontrez que   est aussi supérieur à 1.


133 134

Vous aimerez peut-être aussi