obtenir le fichier - Educmath

4.6 ConclusionLa plate forme multi-agent autour de GeoGebra mérite d'être développée. C'estdans ce but qu'est née une collaboration entre les enseignants chercheurs eninformatique et le groupe MATINal au sein de l'IRES d'Orléans. Le cahier descharges a déjà été discuté lors de réunions permettant à chacun de conjuguer despoints de vue « développement d’application » et des points de vue « activités desélèves ». Cela engage d'autres collaborations, par exemple autour de l'enseignementde l'informatique au lycée. Il faudra aussi produire des scénarios d'usage commepour la ressource « ligne de pixels » afin que l'activité proposée lors de l'atelier nereste pas au stade de germe. La grille d'analyse quant à elle devra être reprécisée enchoisissant des cadres didactiques clairs et en croisant par exemple une échelle desquestions vives avec les structures de contrôle.5. Langue naturelle et raisonnement mathématique au lycéeMouloud Abdelli, Département de Mathématiques, Faculté des sciences exactesuniversité Mentouri Constantine, mouloudabdelli@hotmail.fr5.1 IntroductionDans le cadre d’une étude sur les implications matérielle et formelle et quiconsiste à étudier, entre autres, les équivalences de phrases langagières et desphrases symboliques, nous avons repris un problème, proposé par Denise Grenier –IREM de Grenoble. Nous avons quantifié ces équivalences auprès d’étudiants de 3eannée de licence mathématique académique de l’Université de Constantine ayantsuivi un enseignement en Français (langue non maternelle).5.2 Problème 1 : reconnaissance de l’équivalence (ou non) avec une propositiondonnéeSoit la proposition : « x 2 se termine par 996 si le nombre x se termine par114 » que l’on notera « A si B ». Les propositions suivantes sont-elles équivalentes ?Nous avons porté sur le tableau ci-dessous les réponses de 127 étudiants de3 e année de licence. Nous avons joint une (*) aux réponses correctes du point de vuede la logique formelle.Oui Non Je ne saispasPour que A il faut que B 45 81* (10) 1 63Pour que B il faut que A 84* (4) 39 4 66Pour que A il suffit que B 97* (16) 28 2 76Pour que B il suffit que A 23 99* (16) 5 77Équivalence %Actes des journées mathématiques 2011ENS de Lyon • IFÉ221