Jeu de déduction.

Version bêta du 15.5.1


Historique :

Version du 15.5.1 :

Dans le programme élève :


Dans le programme prof :



Version du 12.5.1 :

Beaucoup de changements :



Version du 7.4.1 :

On peut modifier les noms "en bleu" de 3 manières différentes.

Si l'élève prouve une proposition déjà connue, elle n'est pas ajoutée à la liste.

2 3 autres trucs...



Version du 30.3.1 :

L'arrivée d'un assistant a fait enfler la taille du programme.

J'espère qu'il vous plaira...



Version du 17.12.0 :

Une version bêta "présentable". Le didacticiel fonctionne bien. Bref je suis content...



Version du 26.11.0 :

Le programme commence à ressembler à quelque chose et à tourner proprement !

Je n'ai pas le courage ou le temps de détailler les changements.
Le plus simple est de lancer l'aide (c'est un fichier html) et de voir l'exemple commenté.



Version du 22.9.0 :

Pas mal de modifications pendant l'été :



Version du 8.7.0 :

Le programme prof s'améliore, en particulier la partie "gérer les expressions mathématiques".


Une Tlist conserve les styles de MathExpress déjà chargés une fois, et est consultée en premier lors d'une création, ce qui améliore la vitesse et réduit les accès au disque dur.


Les MathExpress sont enregistrés dans des fichiers ini différents, et le menu est à part.

Les théorèmes sont triés dans des sous répertoires, ce qui permet de les ranger un peu mieux.


Version du 16.6.0 :

Il y a pas mal de modifications, mais elles concernent surtout l'ergonomie du programme, de sorte qu'il commence à être opérationnel.


J'ai opté pour une application MDI plutôt que plusieurs fiches indépendantes sur le bureau, ce qui est plus clair.


L'élève travaille avec une démonstration. Lorsqu'il demande une nouvelle démonstration, il lui faut choisir l'énoncé de l'exercice. Ensuite, il pourra enregistrer sa démonstration, et la rouvrir pour la continuer. Les étapes sont enregistrées. De plus, à tout moment, il peut revoir une étape (elle s'affiche avec le nom du théorème utilisé dans une nouvelle fenêtre). Enfin, la démonstration peut se faire dans les 2 sens. (voir les exemples)


Les équivalences ne sont toujours pas gérées, de sorte que pour l'instant il y a beaucoup de théorèmes pour contourner ce problème (voir les multiples "Définition vectorielle du parallélogramme" par exemple). Il faudra que je m'y attelle assez vite.


J'ai commencé la réalisation du module prof, qui est dans un logiciel à part. Pour l'instant, il permet de fabriquer les théorèmes et les énoncés d'exercices.


J'ai fait quelques essais avec des élèves et des collègues, et il en ressort qu'il faudra prévoir un didactitiel pour que l'élève apprenne les manipulations de base (le prof aussi). Il faut qu'il comprenne que lorsqu'il ouvre un modèle, les noms sont indépendants de ceux de son exercice.