« Utilisateur:RM77/DMs » : différence entre les versions

Contenu supprimé Contenu ajouté
RM77 (discussion | contributions)
RM77 (discussion | contributions)
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+gq)(p+q+1)}{2}</math>
# 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>