Bonjour à tous et à toutes, Je suis actuellement étudiante et on me conseille cette méthode: en gros J0 on a le cours à la fac, je le revois à J2, J6, J10, puis tous les 15 jours, pour que le cours qui a eu lieu à J0 reste dans ma mémoire à long terme. J'ai essayé de tout faire à la main mais je perdais beaucoup de temps et j'ai abandonné. En regardant sur les modèles de Excel, j'ai trouvé un modèle de base pas mal du tout mais je ne sais pas comment le modifier pour qu'il me fasse automatiquement mon planning de cours. Méthode des J. J'ai essayée toute seule de faire le fichier en question mais je n'y arrive pas, vu que mes connaissances en Excel sont quasi-nulles. Pour revenir à l'Excel, je souhaite saisir sur la page "Cours" le nom du cours et la date J0 ( date où j'ai le cours pour la première fois) et que les dates apparaissent automatiquement sur les colonnes suivantes. Sur les vues "hebdomadaire" et "mensuelle", le nom des cours à la date que je dois les revoirs (J10, J15... ). Je sais que c'est beaucoup demandé mais j'ai essayée toute seule mais je n'arrive à obtenir le résultat que je souhaite.
Du point de vue de la démonstration automatique, on ne peut évidemment pas instancier de façon exhaustive jusqu'à trouver les bons. À la place de cela, on remplace par ce que l'on va appeler une métavariable, et c'est au moment où on cherchera à fermer les branches que l'on cherchera comment instancier. Pour cela, on va chercher à unifier (à négation près) deux formules de la branches. Néanmoins, il ne suffit pas de pouvoir trouver un telle unification pour chacune des branches: il faut trouver une substitution qui permette de fermer toutes les branches à la fois. On parle dans ce cas d'unification rigide. Il faut également modifier la règle, car en skolémisant, il faut prendre en compte les métavariables présentes. Par conséquent, on y instancie par où sont les méta-variables présentes sur la branche où se situe la formule décomposée. Methode des j tableau.asp. La figure suivante représente un tableau avec métavariables et unification pour l'ensemble de formules Le problème d'unification est soluble, il est donc possible de fermer le tableau.