Itération vs Récursivité

Pr´eliminaires It´eration R´ecursivit´e ` A faire pour lundi prochain
It´eration
vs
R´ecursivit´e

Pr´eliminaires It´eration R´ecursivit´e ` A faire pour lundi prochain
Plan
Pr´eliminaires
Bon ordre sur un type ou un ensemble
Tests conditionnels
It´eration
Boucles inconditionnelles
Boucles conditionnelles
R´ecursivit´e
R´ecursivit´e envelopp´ee
R´ecursivit´e terminale

Pr´eliminaires It´eration R´ecursivit´e ` A faire pour lundi prochain
Plan
Pr´eliminaires
Bon ordre sur un type ou un ensemble
Tests conditionnels
It´eration
Boucles inconditionnelles
Boucles conditionnelles
R´ecursivit´e
R´ecursivit´e envelopp´ee
R´ecursivit´e terminale

Pr´eliminaires It´eration R´ecursivit´e ` A faire pour lundi prochain
Rappel
Propri´et´e fondamentale de N: Toute partie non vide de Na un
plus petit ´el´ement pour ≤.
On va dire que Nest bien ordonn´e.

Pr´eliminaires It´eration R´ecursivit´e ` A faire pour lundi prochain
D´efinition
On dit que (E,≤E) est bien ordonn´e, ou que ≤Eest un bon
ordre sur Elorsque toute partie non vide de Ea un plus petit
´el´ement.