Bonjour à toutes et tous !

Julien DURAND (mon frangin) m’a parlé d’un programme sympa qui est sur la Forge (quelle force de partage cet outil !)

Bref, un professeur de philosophie, Cédric EYSSETTE, a fait un programme pour conduire un argumentaire à coup de promisse et d’objection.

Et franchement pour travailler l’argumentation ça avait l’air sympa, Julien m’a évoqué le problème du vocabulaire … et … bien j’ai traduit et je suis allé un peu plus loin.

Le programme vérifie sur les données sont dites vérifiées (proposition vraie) ou non(proposition non vérifiée)

J’ai ajouté les barres vertes et rouges (verte ce que l’on sait, et rouge ce que l’on souhaite démontrer.

On peut donc donner un schéma par défaut :

https://mathix.org/dem_map

ou via un lien plus complexe qui réaffiche un raisonnement (oui, on peut sauvegarder le raisonnement via l’url!!)

https://mathix.org/dem_map/#[{%22id%22:%22p1%22,%22text%22:%22proposition%201%22,%22x%22:650,%22y%22:275,%22lineType%22:%22solid%22},{%22id%22:%22c1%22,%22text%22:%22Conclusion%22,%22x%22:883,%22y%22:783,%22lineType%22:%22solid%22},{%22id%22:%22p2%22,%22text%22:%22proposition%202%22,%22x%22:1123,%22y%22:373,%22lineType%22:%22solid%22},{%22id%22:%226c8cf%22,%22type%22:%22donc%22,%22from%22:[%22p2%22],%22to%22:%22c1%22},{%22id%22:%222jx6v%22,%22text%22:%22Proposition%22,%22x%22:634,%22y%22:106,%22lineType%22:%22solid%22}]

Alors l’utilisation, pour quoi faire ?

Et bien sinon on parlait de raisonnement? Comment s’en saisir?

Si on donnait toutes les informations que l’on a et ce que l’on souhaite trouver? Voilà un outil pour présenter une réflexion, un raisonnement sans forcément écrire!

Puis ensemble on créé un raisonnement par étape.

Pour voir les fonctionnalités, glissez la souris sur le ⓘ.

L’IA

Et le mieux c’est que l’on peut donner à une IA… Un exercice et lui demander de formater cela pour que cela génère les données initiales et ce que l’on souhaite.

Voilà pour l’instant le jet donné par chatGPT… (il y a juste l’artefact de la bulle DONNEES), mais il les place correctement.

https://mathix.org/dem_map/#%5B%7B%27id%27%3A%20%271%27%2C%20%27text%27%3A%20%27Donn%C3%A9es%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%2050%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%272%27%2C%20%27text%27%3A%20%27DC%20%3D%2025%20cm%27%2C%20%27x%27%3A%20150%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%273%27%2C%20%27text%27%3A%20%27BC%20%3D%2026%20cm%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%274%27%2C%20%27text%27%3A%20%27AO%20%3D%206%20cm%27%2C%20%27x%27%3A%20450%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%275%27%2C%20%27text%27%3A%20%27AB%20%3D%208%20cm%27%2C%20%27x%27%3A%20600%2C%20%27y%27%3A%20150%2C%20%27lineType%27%3A%20%27solid%27%7D%2C%20%7B%27id%27%3A%20%276%27%2C%20%27text%27%3A%20%27Calcul%20%3A%20Aire%20du%20triangle%20BDC%27%2C%20%27x%27%3A%20300%2C%20%27y%27%3A%20300%2C%20%27lineType%27%3A%20%27solid%27%7D%5D

On peut aussi imaginer donner toutes les propositions (même intermédiaire) et de demander l’enchaînement logicodéductif.

Le programme permet de sauvegarder (on clique et on enregistre l’url), et aussi on peut générer une image!

Bref, je dois faire une formation dans une semaine sur les TAPI, je crois que je vais en parler un peu!! 🙂

Oui, ça donne des idées….

Il est même possible de réfléchir à un exerciseur pour s’entraîner à créer des raisonnement logico-déductif sans que ce soit des maths d’ailleurs juste de la logique pure….

Bon, ce programme n’aurait pas vu le jour sans la petite puce à l’oreille ,en communiquant avec moi sur un programme du prof de philo, de Julien DUDU, mon frère, ni son test pour générer une url via chat-GPT (il a fallu aussi retravailler le programme pour qu’il accepte le code URI de chat-GTP qui n’en démord pas)

Bonjour à toutes et tous!

Voici un petit projet pour travailler les perspectives cavalières pour les élèves de 6eme et 5eme.

Alors c’est une première version, la typologie des exercices devrait évoluer.

Donc ici, on a 5 exercices et l’exerciseur nous donne un score final, il propose la correction également.

Les commentaires de correction sont, par contre, sommaires, il dit simplement « Il y a des erreurs » ou « non »Bravo ».

Mais pour en revenir à notre exerciseur qui s’utilise aussi de manière autonome, le voici :

https://mathix.org/exerciseur-perspective

Sinon en off, je suis en train de travailler en parallèle sur un programme de suivi des élèves sur les exerciseurs, un peu à la WIMS ou CAPYTAL, mais l’idée est de pouvoir se connecter à l’aide d’un QRCODE sans mot de passe (intégration par un token très long) et également si connexion via ordinateur alors ce sera l’utilisation de carte à code (avec des instructions : donner les 4 chiffres de la case « B2 » et un temporisation de refus de connexion au bout de 3 essais infructueux). Car il faut le reconnaître, le nerf de la guerre, c’est de trouver un moyen de se connecter simple mais sécurisé (ah oui, le prénom et le nom de l’élève seront dans l’url de connexion donc non stocké sur le serveur donc en RGPD il n’y a aucune donnée personnelle) et vu comment avec E-lyco, chez nous, il faut beaucoup (trop) de clics pour se connecter à mon goût.

Ils auront accès à maclasse, et les différents jeux que l’enseignant aura ouvert pour évaluation.

Un exemple : https://mathix.org/suivi/index.php?vueeleve=1&classe=4eC&token=h2AQyjGQTJ&eleve=Arnaud_DURAND

(c’est moche je sais, mais quand on construit une voiture on commence par le moteur hein!)