ABA Logique Nspire 2 : enfin sorti !
Posted: 26 Jan 2014, 17:37Bonjour à tous !
Aujourd'hui sort enfin ABA Logique Nspire 2 ! Une mise-à-jour attendue !
Pourquoi ?
Peut-être parce-que j'avais dit en août que le code était bientôt fini et que j'allais sortir ça courant septembre ?
Certes. Le programme était pourtant prêt à la fin août, mais ... rentrée en école d'ingé, etc ... flemme.. documentation à écrire..
Bref. C'est aussi et surtout parce-que la version précédente ne fonctionnait pas sur OS 3.2 et supérieur !
Il fallait donc réparer cela.. et dans l'entrain, j'ai apporté de nombreuses modifications importantes !
Mais tout d'abord qu'est-ce que ABA Logique Nspire ?
C'est un programme entièrement consacré à la logique booléenne. Il propose de nombreuses fonctionnalités sur les équations logiques : tracer les différentes tables de vérité ou de Karnaugh d'une équation, déduire, à l'inverse, l'équation d'une table fournie, simplifier au maximum une équation logique, transformer une équation logique de manière à n'utiliser que des portes NAND (NON ET), ...
Tout cela dans un effort d'ergonomie et d'efficacité. La première version de ce programme a remporté le concours Nspire-Lua 2011.
Alors, quelles sont donc ces nouveautés ??
=> Le gros morceau étant la programmation d'un nouveau moteur de simplification ! Il s'agit d'un système par tableaux de Karnaugh, et non plus d'une simplification algébrique, réservée aux Nspire CAS, et qui avait quelques points faibles..
Les caractéristiques de ce nouveau moteur de simplification, toujours pour des équations allant jusqu'à 6 variables, sont les suivantes :
- propose une simplification très poussée, plus rapide et plus fiable
- le résultat simplifié peut se présenter sous deux formes : la forme normale disjonctive (somme de produits, obtenue en regroupant les 1) et la forme normale conjonctive (produit de sommes, obtenue en regroupant les 0).
- ces deux résultats sont aussi factorisés selon le * ou le + pour réduire encore le nombre de termes. (cette factorisation ne fait pas appel au CAS)
- les blocs de simplification et leur équation associée sont présentés ensuite de manière interactive sur le tableau de Karnaugh !
- prise en charge des états indéterminés (les « don’t care », notés « ϕ ») de manière optimale. (cf : capture au-dessus)
- compatibilité complète avec les Nspire non-CAS et les OS récents.
=> La gestion de l'historique a aussi été revue avec notamment une numérotation en indice des équations entrées, permettant de retrouver plus facilement les formes sensées être équivalentes.
=> Lors de la saisie des tables de vérité ou de Karnaugh, quelques fonctions supplémentaires sont apparues permettant d'inverser la table, de la remplir avec des états indéterminés (ϕ), ou encore de charger la table de l'équation en cours.
=> Enfin, les nouveaux opérateurs logiques apparus sur l'OS 3.2, c'est-à-dire l'implication "=>" et l'équivalence "<=>", sont aussi supportés ! (Évidemment uniquement sur OS>=3.2)
ABA Logique est encore une fois accompagnée d'une documentation détaillée. Il y a notamment une activité de découverte du logiciel : il s'agit de résoudre quatre exercices de logique type à l'aide de ABA Logique. C'est une bonne manière de voir quelles sont les différentes utilisations d'ABA Logique et d'apprendre toutes les astuces, tout en s'entraînant en logique booléenne ! La résolution est accompagnée de captures d'écrans.
A bientôt sur TI-Planet !!
Aujourd'hui sort enfin ABA Logique Nspire 2 ! Une mise-à-jour attendue !
Pourquoi ?
Peut-être parce-que j'avais dit en août que le code était bientôt fini et que j'allais sortir ça courant septembre ?
Certes. Le programme était pourtant prêt à la fin août, mais ... rentrée en école d'ingé, etc ... flemme.. documentation à écrire..
Bref. C'est aussi et surtout parce-que la version précédente ne fonctionnait pas sur OS 3.2 et supérieur !
Il fallait donc réparer cela.. et dans l'entrain, j'ai apporté de nombreuses modifications importantes !
Mais tout d'abord qu'est-ce que ABA Logique Nspire ?
C'est un programme entièrement consacré à la logique booléenne. Il propose de nombreuses fonctionnalités sur les équations logiques : tracer les différentes tables de vérité ou de Karnaugh d'une équation, déduire, à l'inverse, l'équation d'une table fournie, simplifier au maximum une équation logique, transformer une équation logique de manière à n'utiliser que des portes NAND (NON ET), ...
Tout cela dans un effort d'ergonomie et d'efficacité. La première version de ce programme a remporté le concours Nspire-Lua 2011.
Alors, quelles sont donc ces nouveautés ??
=> Le gros morceau étant la programmation d'un nouveau moteur de simplification ! Il s'agit d'un système par tableaux de Karnaugh, et non plus d'une simplification algébrique, réservée aux Nspire CAS, et qui avait quelques points faibles..
Les caractéristiques de ce nouveau moteur de simplification, toujours pour des équations allant jusqu'à 6 variables, sont les suivantes :
- propose une simplification très poussée, plus rapide et plus fiable
- le résultat simplifié peut se présenter sous deux formes : la forme normale disjonctive (somme de produits, obtenue en regroupant les 1) et la forme normale conjonctive (produit de sommes, obtenue en regroupant les 0).
- ces deux résultats sont aussi factorisés selon le * ou le + pour réduire encore le nombre de termes. (cette factorisation ne fait pas appel au CAS)
- les blocs de simplification et leur équation associée sont présentés ensuite de manière interactive sur le tableau de Karnaugh !
- prise en charge des états indéterminés (les « don’t care », notés « ϕ ») de manière optimale. (cf : capture au-dessus)
- compatibilité complète avec les Nspire non-CAS et les OS récents.
=> La gestion de l'historique a aussi été revue avec notamment une numérotation en indice des équations entrées, permettant de retrouver plus facilement les formes sensées être équivalentes.
=> Lors de la saisie des tables de vérité ou de Karnaugh, quelques fonctions supplémentaires sont apparues permettant d'inverser la table, de la remplir avec des états indéterminés (ϕ), ou encore de charger la table de l'équation en cours.
=> Enfin, les nouveaux opérateurs logiques apparus sur l'OS 3.2, c'est-à-dire l'implication "=>" et l'équivalence "<=>", sont aussi supportés ! (Évidemment uniquement sur OS>=3.2)
ABA Logique est encore une fois accompagnée d'une documentation détaillée. Il y a notamment une activité de découverte du logiciel : il s'agit de résoudre quatre exercices de logique type à l'aide de ABA Logique. C'est une bonne manière de voir quelles sont les différentes utilisations d'ABA Logique et d'apprendre toutes les astuces, tout en s'entraînant en logique booléenne ! La résolution est accompagnée de captures d'écrans.
A bientôt sur TI-Planet !!
.
