Diagramme démonstratif , version 14 : présentation de l’outil

Par

Bonjour à toutes et tous!

J’espère que vos vacances se passent bien!

J’ ai donc créé un outil pour présenter un raisonnement de façon schématique, et j’en ai fait une partie exerciseur (pour travailler sur les conditions nécessaires et les conclusions entre propositions)!

Voilà, enfin j’arrive à quelque chose qui me convient!

voici le programme :

https://mathix.org/diagramme-dem

Il permet de représenter un raisonnement sous forme de schéma et propose maintenant deux modes d’utilisation : un mode libre et un mode exerciseur.

Intérêt pédagogique

L’outil rend le raisonnement visuel et aide à mieux comprendre la logique d’une démonstration.
Les élèves voient tout le cheminement d’un coup d’œil et peuvent manipuler les étapes, ce qui les rend plus actifs dans leur apprentissage.

Le mode libre

Dans ce mode, on peut créer ses propres propositions, les relier entre elles, et organiser le tout comme on le souhaite.
Il suffit de double-cliquer pour ajouter une bulle (ou l’éditer, la supprimer), puis de tracer les flèches pour montrer les liens logiques (en faisant un glisser-déposer).
On peut ensuite sauvegarder le schéma et le partager grâce à un lien unique.

C’est pratique pour préparer une démonstration en classe ou pour expliquer une solution étape par étape.

Voici le lien que l’on peut récupérer : lien

Le mode exerciseur

Ce mode propose de reconstituer une démonstration à partir d’éléments déjà préparés.
L’utilisateur doit placer correctement les propositions et les flèches pour que le raisonnement soit complet.
Un filtre permet de choisir le niveau (de la 6e à la 3e) pour adapter la difficulté.

Cela fonctionne un peu comme un puzzle : on assemble les pièces pour reconstituer la preuve.

Puis voilà comment générer un lien personnalisé pour donner accès au défi en ciblant les niveaux

Le programme

https://mathix.org/diagramme-dem

Vous avez aimé cet article ? Alors partagez-le avec vos amis en cliquant sur les boutons ci-dessous :

Licence Creative Commons

Diagramme démonstratif, un programme pour visualiser les rédactions mathématiques.

Par

Bonjour à toutes et tous!

En ces temps de vacances un peu studieuse avant de vraies vacances dont j’ai hâte qu’elles commencent, je vous propose un petit programme qui reprend le fonctionnement de Reason.js de Dave Kinkead, j’avais tenté en reprenant également le code de Cédric Eyssette qu’il avait utilisé de Dave Kinkead, mais non plus.

C’est un programme qui affiche des schémas logico-déductifs.

Ayant eu des difficultés à le modifier pour le faire convenir à mes besoins, j’ai tout réécris de zéro ! J’ai utilisé également une autre technologie (sur svg et positionnement html au lieu d’un canvas)

Je voulais la possibilité technique qu’une proposition puisse être une condition d’une autre , et que les deux puissent être une condition d’une 3e, ce n’est pas possible avec le code de Reason.

Ce schéma n’est pas possible sous Reason.(après en toute logique ce n’est pas possible, mais il faut que les élèves puissent l’écrire, pour se tromper)

Et , le vrai truc, je voulais une propagation de la vérification des propositions, (si l’une est vraie alors la prochaine qui est liée l’est etc …)

Donc on retrouve un bandeau vert qui permet de mettre les propositions valides et on regarde ce qu’il se passe.

On peut sauvegarder à travers une url à coller ! (un petit bouton est disponible)

Voici un exemple avec le théorème de Pythagore , edit oui je me suis planté , à vouloir sortir l’article rapidement, bref j’ai changé l’exemple !, merci à @cyniquedegauche pour son œil avisé.

Alors l’utilisation pour moi sera en classe sur une situation de problème (j’en ai déjà parlé sur le blog) où l’on demande aux élèves quelle question on peut se poser et y répondre.

Ainsi, on doit hiérarchiser les questions, certaines permettent de répondre à d’autres comme un raisonnement.

L’outil permet d’écrire une proposition par ligne dans un champs de texte et ajoute d’une traite toutes les bulles et ensuite il n’y a plus qu’à les lier.

Pour les lier, on glisse une bulle sur une autre, pour supprimer une flèche ou bulle, on double-clique sur un donc, ou on édite (en double cliquant) sur une bulle et on la vide.

Je prévois également dans un futur proche l’utilisation pour le théorème de la droite des milieu qui va revenir en force ( on peut imaginer des bulles fournies et à nous des les agencer selon nos besoins)

Bref!

C’est par ici : https://mathix.org/diagramme-dem

Voici l’exemple avec le théorème de Pythagore : exemple

Vous avez aimé cet article ? Alors partagez-le avec vos amis en cliquant sur les boutons ci-dessous :

Licence Creative Commons

Le libre n’est pas uniquement « C’est gratuit »

Par

Bonjour à toutes et à tous!

Bon d’abord je dédie cet article à Cédric Eyssette car il fait depuis plusieurs années un boulot intéressant à suivre de près et je souhaite mettre en lumière le gros travail qu’il fait au nom de la DRANE de l’académie de Lyon.

Récemment, j’ai joué de provocation sur une personne qui popularisait son travail en résumant Cédric en l’unique auteur ce qui n’était pas le cas.

Et là j’ai été dans l’opposition bête et méchante en disant qu’il avait forké ses programmes et apportés des modifications alors qu’en fait non, il n’a fait que 3 forks.( et il a été transparent). Mon idée était que la personne qui parlait de Cédric puisse se poser des questions : « tiens, quelle info j’ai manquée, ai-je bien étudié la question?  »

Je suis libriste depuis un peu plus de 20 ans maintenant, je n’ai toujours pas la prétention de savoir tout sur tout sur le libre, mais je me suis forgé une conviction de ce qu’est le libre pour moi.

D’ailleurs le libre, c’est quoi ?

Le libre, je n’en ferai pas une religion comme Richard Stallman, mais plutôt une philosophie de vie. L’informatique a quelque chose de précieux, on peut dupliquer les programmes sans effort, ce n’est pas comme un objet où il faut consommer d’autres ressources pour dupliquer, ici, c’est instantané!

C’est curieusement cette possibilité qui a créé le mouvement libriste, on peut copier des programmes et même mieux, on peut modifier la copie sans que la programme originel soit modifié. Quel liberté !

Imaginez donc un monde où l’on peut adapter les programmes comme on veut et que parfois on ne puisse pas (logiciel privateur) ? Et bien c’est ce qu’à vécu Richard Stallman, il voulait, de mémoire, modifier un driver d’imprimante, et s’est trouvé embêté à ne pouvoir le modifier car les sources étaient privées et paf il a fondé la Gnu-fondation qui promeut le libre.

Je n’irais pas plus loin dans l’histoire, mais en somme, ce qu’avait voulu faire Stallman c’était forker un programme déjà existant pour le modifier.

LE FORK

Le FORK,c’est sans là l’essence même du libre, modifie pour adapter, fais-en ce que tu veux et diffuse-le!

Le libre, par un gros travail Alexis Kauffmann, a fini dans l’éducation nationale (ENFIN!), et là on a une émergence d’outils plus sympas les uns que les autres.

Mais (il faut toujours un mais, si si , ça permet de rester vigilant), attention au fork, il a tendance à cacher voir occulter les auteurs initiaux, (personnellement j’ai déjà eu des forks de mes exerciseurs notamment equadorix,puzzle-zukei, et j’avais déjà entendu des , oh, mais c’est l’outil de Nicolas, d’Olivier… alors que c’était les miens qui avait été réadapté ou simplement copié d’ailleurs, mais le gros du travail était le mien… c’est pas super cool…).

Alors aujourd’hui j’ai vu des annonces sur Cédric Eyssette comme quoi il avait développé un outil génial.-PDF2FLIP) et oui personnellement je l’ai utilisé, c’est chouette!

MAIS cet outil est un fork, présenter l’outil comme son outil c’est annihiler le travail de l’auteur initial.

Voici PAGINIS, on peut annoter le pdf, faire tourner les pages joliement , ce n’est pas en français, pas joli joli. Mais l’auteur initial est Farouq, alias ibra-kdbra sur Github.

Et il y a aussi ce projet https://dearflip.com

Alors pour en voir les ajouts de Cédric, les voici :

CritèrePaginisPDF2flip
LicenceMITGPL v3
Objectif principalSimple lecteur flipbook JavaScript/HTML5Lecteur flipbook enrichi avec prise de notes et partage
Fonctionnalités de base• Effet « page qui tourne » via DFlip lite
• Rendu PDF avec PDF.js
• Navigation rudimentaire (précédent/suivant)
• Prise de notes annotées et export
• Tout ce que propose Paginis
• URL#PDF pour charger un document
• Paramètres de vue (masquer menu, page de début/fin, vue page à page)
Interface et UIInterface minimale, dépendante de jQuery + CSS de baseUI retravaillée pour l’éducation, menus configurables, boutons d’annotation
PartageNéant (hébergement et wrapper à fournir)URL de partage intégrée : `https://…/pdf2flip/#URL_DU_PDF` avec paramètres `?m=0`, `?p=…`, etc.
Extensions 3D/animationsThree.js pour effets 3DThree.js pour effets 3D
Prise de notesIntégrée : annotations pendant la lecture et export (texte, PDF)Intégrée : annotations pendant la lecture et export (texte, PDF)
Maintenance & communautéProjet individuel (ibra-kdbra) avec quelques forksPackagé par l’Éducation nationale, suivi et contributions institutionnelles
Taille du bundleAssez léger (JS + CSS de DFlip + PDF.js)Légèrement plus lourd à cause des modules d’annotation et de gestion d’URL

Et là on peut voir les belles idées de Cédric :

  • une ergonomie sans commune mesure (et une ergonomie c’est très pénible à développer)
  • un partage rapide avec url
  • glisser déposé
  • un paramétrage des urls

Bref, c’est un outil utilisable et simple ce que n’est pas le premier, qui est trop brut de décoffrage.

Après Cédric a su utiliser le libre à bon escient, on forke et on propose à communauté! C’est chouette vraiment et c’est simplement le libre.

Mais attention à ne pas réduire les auteurs d’un projet au dernier qui a forké, s’intéresser à l’histoire du projet, son évolution, les ajouts pour combler des besoins, il est là l’essentiel car comprendre un projet dans son histoire c’est aussi comprendre comme l’utiliser et à quelle fin.

Il n’en reste pas moins que Cédric fait un boulot de dingue et réinventer de zéro un programme est contre-productif, il faut juste accepter que les projets soient souvent le travail d’une équipe qui ne se connaît pas.

Adopter le libre c’est aussi communiquer dessus, et il faut bien communiquer dessus car sinon les auteurs eux ne partageront plus si c’est seulement le dernier auteur qui est cité.

Mais je ne jette pas la pierre à Cédric, bien loin de là, il a toujours cité les auteurs et les programmes dont il a fait le fork.

Par contre je vous encourage à visiter son travail :

https://eyssette.forge.apps.education.fr

Vous avez aimé cet article ? Alors partagez-le avec vos amis en cliquant sur les boutons ci-dessous :

Licence Creative Commons