Subversion Repositories wimsdev

Rev

Rev 1005 | Go to most recent revision | Blame | Last modification | View Log | RSS feed

!!! fichier de présentation de l'étape 2 !!!
<p>
  <b><font color=darkcyan> Etape $etape </font></b>
 </p>
<center>
<table width="75%">
  <tr>
    <td>
      <p>
      Dans cette étape, vous devez fournir la liste des propriétés éventuelles vérifiées par
      les objets précédemment saisis. Ces propriétés (ou éventuellement d'autres objets en 
      relation avec ceux saisis à l'étape 1) doivent &ecirc;tre explicitement 
      décrites (par exemple pour une fonction: <b>croissante</b>, <b>décroissante</b>, 
      <b>bornée</b>, ...), sans ambiguité.
      </p>
     <p>
     Entrez ci-dessous la liste des propriétés. Chaque propriété doit &ecirc;tre à
     l'intérieur d'une paire de parenthèses 
     <font color=red><b>(</b></font>une <b>ouvrante</b> et une <b>fermante</b>
     <font color=red><b>)</b></font>. 
     Dans la liste, deux objets consécutifs sont séparés par une virgule. 
     <b>Le nombre de propriétés (ou objets ) est limité à 100</b>.
      </p>
     <p align="center">
     Le format de saisie des objets est donc le suivant:
     <br>
     \((propri\'et\'e_{1}),(propri\'et\'e_{2}), \ldots ,(propri\'et\'e_{m})\)
      </p>
     
     !if $demo=oui
       <p>
       <hr>
       !read demosDir/demo$(exo)props
        </p>
     !endif
   </td>
  </tr>
</table>
</center>

!set wims_backslash_insmath=no

<center>
 <textarea name="propsList" rows=20 cols=50>$propsList</textarea>
</center>

!read comsDir/valideb