Bonsoir,
existe-t-il quelque chose d'équivalent à la bibliothèque "logic" de maple ? Quelque chose qui vérifie l'équivalence de formules, les simplifie, etc.
Bon, c'est toujours intéressant de faire construire de telles fonctions aux élèves.
--
G.
logic
Modérateur : xcasadmin
Re: logic
Non, pour le moment rien de tel.
Bon faut dire que je ne suis personnellement pas très motivé pour développer ce genre de packages, le calcul pur et dur à base de polynômes m'excite plus. Mais bien sur si quelqu'un veut se lancer là-dedans...
Bon faut dire que je ne suis personnellement pas très motivé pour développer ce genre de packages, le calcul pur et dur à base de polynômes m'excite plus. Mais bien sur si quelqu'un veut se lancer là-dedans...
Re: logic
La logique propositionnelle n'est pas totalement étrangère à des calculs de polynômes: Dans une algèbre de Boole, toute fonction est égale à son polynome d'interpolation de Lagrange. Avec des séries formelles (finies), Boole démontre plein de choses par des calculs purement algébriques qui ressemblent à des bases de Grobner, ici: http://www.gutenberg.org/ebooks/15114 (particulièrement le chapitre 5)
Re: logic
Bon disons aussi que je ne suis pas non plus motivé par le type de résultats de ce champ des maths. Je comprends très bien que d'autres soient intéressés, c'est juste pour dire que je ne suis sans doute pas la bonne personne pour développer ça.
Re: logic
Tout ça sent le refilage de bébé 
Bon on peut traiter le calcul propositionnel de 3 manières à ma connaissance:
1: Avec des tableaux de Karnaugh (http://fr.wikipedia.org/wiki/Table_de_Karnaugh) enseignés dans certains BTS: Bien que non spécialiste de la question, j'imagine plus une activité tableur qu'une activité calcul formel. C'est avec ce genre de méthode que fonctionne le "CanProve" de GeoGebra (http://www.reunion.iufm.fr/recherche/ir ... article298)
2: L'algèbre de Boole, où l'addition est distributive par rapport à la multiplication et où 1+1=1. Faisable en calcul formel mais il faut redéfinir les règles d'algèbre, ce qui peut être un bon exercice de calcul formel, non?
3: Les expressions régulières, qui autorisent à remplacer des chaînes de caractère par d'autres, plus simples (comme les lois de DeMorgan): Activité intéressante, difficile et algorithmique.
Tout ça, juste pour refuser le bébé mais éventuellement le filer à quelqu'un d'autre...
Bon on peut traiter le calcul propositionnel de 3 manières à ma connaissance:
1: Avec des tableaux de Karnaugh (http://fr.wikipedia.org/wiki/Table_de_Karnaugh) enseignés dans certains BTS: Bien que non spécialiste de la question, j'imagine plus une activité tableur qu'une activité calcul formel. C'est avec ce genre de méthode que fonctionne le "CanProve" de GeoGebra (http://www.reunion.iufm.fr/recherche/ir ... article298)
2: L'algèbre de Boole, où l'addition est distributive par rapport à la multiplication et où 1+1=1. Faisable en calcul formel mais il faut redéfinir les règles d'algèbre, ce qui peut être un bon exercice de calcul formel, non?
3: Les expressions régulières, qui autorisent à remplacer des chaînes de caractère par d'autres, plus simples (comme les lois de DeMorgan): Activité intéressante, difficile et algorithmique.
Tout ça, juste pour refuser le bébé mais éventuellement le filer à quelqu'un d'autre...