Méthodo - exercices de sémantique avec Wims
Oct-nov 2003


Voici le rendu d'un des exercices


Voici son code source ("Formaliser.oef")

\title{Formaliser}

% Quelques macros utils.
\text{implications=\(=>), \(<=>)}

% Separer les cas par `;'. et separer les items par `,'.
% Pour chaque cas, 5 items.
% item 1: contexte.
% item 2: Enonce en phrase.
% item 3: Nombre de cases à prévoir.
% item 4: Formule (separer les blocs par `,', separer les possibilites par
%    `|'.) Surtout enfermer l'item par une paire de parentheses !
% item 5: mauvais blocs (enfermes par une paire de parenthese).
%
% Il faut surtout bien fermer toutes les parentheses !

\text{data=
Soit \(f: RR -> RR) une application,
\(f) est majorée, 4,
(\(exists m in RR,),\(forall x in RR,), \(f(x) < m) ),
(\(f(x) > m), \(x < m), \(x > m), \implications )
;
Soit \(f: \RR \to \RR) une application,
\(f) est strictement croissante,5,
(\(\forall x,y \in \RR,),\(x<y),\(=>),\(f(x)<f(y)) |
\(\forall x,y \in \RR,),\(x<y),\(<=>),\(f(x)<f(y)) |
\(\forall x,y \in \RR,),\(f(x)<f(y)),\(<=>),\(x<y) |
\(\forall x,y \in \RR,),\(f(x)\leq f(y)),\(<=>),\(x\leq y) |
\(\forall x,y \in \RR,),\(x\leq y),\(<=>),\(f(x)\leq f(y)) ),
(\(f(x)\leq f(y)),\(f(x)<f(y)),\(x<y),\(x\leq y),\implications )
;
Soit \(f: [a,b] \to \RR) une application,
\(f) est constante,5,
(\(\exists m \in \RR,),\(\forall x \in [a,b],),\(f(x)=m) |
\(\forall x,y \in [a,b],), \(f(x)=f(y)) ),
(\(\exists x \in [a,b]),\(\forall m \in \RR),\implications,\(\forall x \in \RR),\(\forall x,y \in \RR) )
;
}

% Ce qui suit n'a pas besoin d'etre modifie.

\text{data=wims(singlespace \data)}
\text{data=wims(nonempty rows \data)}
\text{data=randomrow(\data)}
\text{good=wims(declosing \data[4])}
\text{bad=wims(declosing \data[5])}

\statement{\data[1]. Formalisez l'énoncé : \data[2].
<p><center>\embed{r1,120x30x\data[3]}
</center>
}

\answer{La formule}{\good;\bad}{type=clickfill}


qu'on peut tester sur le serveur wims (createxo - 'mode brut' puis coller le code, ou bien 'mode fichier' et télécharger un fichier .oef).

Aide pour le format oef.

Fichiers sources (oef) des exercices.

F.X. Dehon - dehon@unice.fr