« Utilisateur:RM77/DMs » : différence entre les versions
Contenu supprimé Contenu ajouté
m →DM 7, Exo 2 : oops |
m →DM 7, Exo 2 : oops |
||
Ligne 72 :
=== DM 7, Exo 2 ===
On considère l'application <math>f\,</math> de <math>\mathbb{N}\times \mathbb{N}</math> vers <math>\mathbb{N}</math> définie par :<br>
:<math>f(p,q)=q+\frac{(p+
# Mq la relation binaire <math>\mathcal{R}</math> dans <math>\mathbb{N}\times \mathbb{N}</math> définie par :
#:<math>(p,q)\mathcal{R}(p',q')\Leftrightarrow \begin{cases}p+q<p'+q' \\ \mbox{ou }(p+q=p'+q'\mbox{ et }q\le q')\end{cases}</math>
|