I- Un peu de logique

   <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/U3/arithmetic/L3scient_generale1')”> <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 : Cette feuille fait partie d'une série de feuilles proposées dans l'UE <b>Nombres et Arithmétique</b> de la licence Scientifique Générale de l'université Paris-Sud. Cette licence est destinée à des étudiants ayant fait deux premières années scientifiques et se destinant au métier de professeur des écoles. Niveau : logic,arithmetic Mots-clés : Bernadette Perrin-Riou Domaine : math,levelU,universite,logique,scientifique générale - Langue : fr Catégorie : feuille d'exercices - Temps : 3 Auteur(s) : bpr@math.u-psud.fr Contact : Adresse : module=adm/sheet&+job=read&+sh=fr/U3/arithmetic/L3scient_generale1 Copyright bpr@math.u-psud.fr 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=“U1/logic/oefrecreation.fr” value=“U1/logic/oefrecreation.fr” onclick=“Lien('module=U1/logic/oefrecreation.fr');”> </html> les commentaires sur le module : OEF Quelques récréations logiques<html> <br /> </html> ==== Le source de la feuille ==== <file>:H5/language/oefIntroLogique.fr exo=negationLN&qnum=1&qcmlevel=3&scoredelay= 20 1 Négation trouver la négation d'une affirmation en langage courant :H5/language/oefIntroLogique.fr exo=validite&qnum=1&qcmlevel=3&scoredelay= 20 1 Validité d'une proposition vérifier si une affirmation est vraie ou fausse, connaissant quelques caractéristiques de la personne. :H5/language/oefIntroLogique.fr exo=deduction&qnum=1&qcmlevel=3&scoredelay= 20 1 Déduction logique travailler sur la validité d'un raisonnement (implication, contraposée). :H5/language/oefIntroLogique.fr exo=implication&qnum=1&qcmlevel=3&scoredelay= 20 1 Implication en langage courant tirer des conclusions. :H5/language/oefIntroLogique.fr exo=negationMath&qnum=1&qcmlevel=3&scoredelay= 20 1 Négation en mathématiques utilise des propriétés mathématiques. :H5/language/oefIntroLogique.fr exo=incoherence&qnum=1&qcmlevel=3&scoredelay= 20 1 Raisonnement cohérent trouver une affirmation à la fois vraie et fausse de manière à montrer l'incohérence des affirmations de départ. :U1/logic/oefrecreation.fr exo=banquet 20 1 Une histoire de banquet petit problème à mettre en équation. … :U1/logic/oefrecreation.fr exo=probleme1 10 1 Des histoires de restaurant des questions de logiques </file> ~~DISCUSSION~~

Vous pourriez laisser un commentaire si vous étiez connecté.