Le wiki de WIMS EDU

L'association WIMS EDU a ouvert ce wiki afin de favoriser les collaborations entre utilisateurs de WIMS.

Outils pour utilisateurs

Outils du site


ressources:feuilles:1132:fr_h5_1132_sheet14

Notations et raisonnements

<html><br/>

   <script type="text/javascript">

<!– function initf(module){

document.form.ch.selectedIndex=0;  chg(module);}

function chg(module){sem=document.form.ch.selectedIndex;Lien(module)}

function Lien(module){

choix=document.form.ch.selectedIndex;
switch (choix)   {
    case 0 : nom='wimsauto.di.u-psud.fr';break;
    case 1 : nom='wims.unicaen.fr'; break;
    case 2 : nom= 'wims.math.leidenuniv.nl'; break;
    case 3 : nom='wims.unice.fr'; break;
    case 4 : nom='wimsauto.di.u-psud.fr'; break;

}

if(nom==''){} else {

 window.open('http://' + nom+ '/wims/wims.cgi?' + module,"serveurexemple");};

} –> </script><html> <form name=“form” > <select name=“ch” size=“1” onChange=“chg('module=adm/sheet&+job=read&+sh=fr/H5/1132/sheet14')”> <option selected>Choisissez le serveur WIMS</option> <option>Caen</option> <option>Leiden</option> <option>Nice</option> <option>Orsay</option> </select></form> </html> ==== Description par l'auteur ==== Description : Niveau : H5 Mots-clés : level2 Domaine : autres - Langue : fr Catégorie : feuille d'exercices - Temps : ?? Auteur(s) : Chantal, Causse Contact : chantal.causse@noos.fr Adresse : module=adm/sheet&+job=read&+sh=fr/H5/1132/sheet14 Copyright Chantal, Causse This work is licensed under the GNU GPL: http://www.gnu.org/licences/gpl.html <html> <input class=“button” type=“button” name=“H5/language/oefIntroLogique.fr” value=“H5/language/oefIntroLogique.fr” onclick=“Lien('module=H5/language/oefIntroLogique.fr');”> </html> les commentaires sur le module : OEF Introduction à la logique<html> <br /> <input class=“button” type=“button” name=“H6/analysis/syntaxeFormule.fr” value=“H6/analysis/syntaxeFormule.fr” onclick=“Lien('module=H6/analysis/syntaxeFormule.fr');”> </html> les commentaires sur le module : Formules et arbres syntaxiques<html> <br /> <input class=“button” type=“button” name=“H6/set/graphset.fr” value=“H6/set/graphset.fr” onclick=“Lien('module=H6/set/graphset.fr');”> </html> les commentaires sur le module : Sous-ensembles graphiques<html> <br /> <input class=“button” type=“button” name=“U1/logic/oefcontra.fr” value=“U1/logic/oefcontra.fr” onclick=“Lien('module=U1/logic/oefcontra.fr');”> </html> les commentaires sur le module : OEF contraposition<html> <br /> <input class=“button” type=“button” name=“U1/logic/oefiff.fr” value=“U1/logic/oefiff.fr” onclick=“Lien('module=U1/logic/oefiff.fr');”> </html> les commentaires sur le module : OEF ssi<html> <br /> </html> ==== Le source de la feuille ==== <file>:H6/analysis/syntaxeFormule.fr niv=1&cls=S&mode=0 40 1 Ecriture au clavier d'une expression mathématique :H6/set/graphset.fr atype=3&style=ui1&repeat=4 10 1 Unions et intersections :H6/set/graphset.fr atype=3&style=uic1&repeat=4 10 1 Union, intersection et complément :H5/language/oefIntroLogique.fr exo=negationLN&qnum=3&qcmlevel=3&scoredelay= 10 1 Négation en langage naturel :H5/language/oefIntroLogique.fr exo=negationMath&qnum=1&qcmlevel=3&scoredelay= 10 1 Négation en mathématiques :U1/logic/oefcontra.fr exo=negation1&qnum=3&qcmlevel=3&scoredelay= 10 1 Négation de phrases :H5/language/oefIntroLogique.fr exo=deduction&qnum=2&qcmlevel=3&scoredelay= 10 1 Déduction logique :H5/language/oefIntroLogique.fr exo=implication&qnum=2&qcmlevel=3&scoredelay= 10 1 Implication en langage naturel :U1/logic/oefiff.fr exo=subset&qnum=1&qcmlevel=3&scoredelay= 30 1 Sous-ensemble :H5/language/oefIntroLogique.fr exo=connecteursLN&qnum=1&qcmlevel=3&scoredelay= 30 1 Connecteurs booléens :U1/logic/oefiff.fr exo=iff&exo=iff2&exo=iff3&exo=iff4&qnum=3&qcmlevel=3&scoredelay= 10 1 Si ou seulement si :U1/logic/oefcontra.fr exo=contraposelang&qnum=3&qcmlevel=3&scoredelay= 10 1 Contraposée langage courant :H5/language/oefIntroLogique.fr exo=reciproque&qnum=2&qcmlevel=3&scoredelay= 10 1 Réciproque ou Contraposée ? </file> ~~DISCUSSION~~

Vous pourriez laisser un commentaire si vous étiez connecté.
ressources/feuilles/1132/fr_h5_1132_sheet14.txt · Dernière modification : 28/03/2024 04:00 de 127.0.0.1