Forum TI-Planet.org

Oui, la version 2.0 est terminée. Je l'ai terminée tranquillement pendant mes vacances en Allemagne..
Elle devrait donc bientôt arriver sur TI Bank avec plein d'amélioration !

Voici ce que l'on peut faire avec ABA Logique 2.0, le programme pour les équations logiques et l'algèbre de Boole :

• On saisit une expression du style //a*b+/(/(c+/d)+/b) Pas très lisible.. (il peut y avoir jusqu'à 6 variables avec les lettres de a à f)
• L'équation saisie est affichée en "pretty print" (NOUVEAU)
  =
  
• On peut visualiser le tableau de Karnaugh, la table de vérité naturelle, la table de vérité en code Gray. (cela marchait déjà très bien dans la v1.0, et c'est bien pratique !)
• On peut vérifier l'équivalence de notre équation avec une autre forme, si on est pas sûr d'une transformation, ...
• On peut simplifier l'équation ! (cela a été grandement amélioré, même s'il faut un peu de tps de résolution)
• On peut transformer l'équation pour utilisation "ladder" (en circuit électrique) c'est à dire avec des variables uniques complémentées, par le théorème de Morgan. (cela a aussi été amélioré)
• On peut transformer l'équation pour une utilisation avec des cellules universelles NAND. (grâce au théorème de Morgan) = NOUVEAU et pratique ! C'est souvent demandé en DS.
• Tout ces résultats sont affichés en pretty print !! (NOUVEAU)
• On peut aussi avoir une équation à partir d'un tableau de Karnaugh ou d'une table de vérité que l'on donne, puis la simplifier !
• Toutes les équations entrées et les résultats sont stockés dans un historique que l'on peut rappeler. (NOUVEAU)

Voilà à peu près la bête ! Je vous tiendrez au jus quand j'aurai mis en ligne, et fait le lisez-moi !
Sinon, ce programme s'adresse en particulier à ceux qui font de l'électrique, c'est à dire dans les classes de sciences de l'ingénieur, aussi bien scientifiques que technique, je crois. (1ère et term) Et peut-être même déjà pour la 2nde en MPI !

Enfin, j'ai envoyé le mail, Mic !

Ça aura pris du temps, mais ça y est !

N'hésitez donc pas à tester et à me retourner vos impressions !

@a+ =)

Tu as reçu, Mic ?

Hello,
je voudrais savoir quand ets ce que ce programme sera en ligne?
il m'intéresse fortement
Merci

Aloors ?

Mic wrote:Bonne nouvelle, c'est enfin MAJ !

Merci ! Mais n'est-ce pas possible de mettre la nouvelle description ainsi que la capture jointe dans mon mail ?
Ce serait parfait ! Il y a juste à copier coller la description, et mettre le lien de ma capture à la place de l'ancienne.
Et pourquoi pas donner comme titre "ABA Logique v2.0" pour le nom de l'archive.

D'accord. Mais pour la description et le screen ? C'est faisable ??

Loulou 54 wrote:D'accord. Mais pour la description et le screen ? C'est faisable ??

Mic wrote:oui

Sans vouloir être lourd c'est qu'il y a eu pas mal de changements quand même sur cette version 2 !


= La capture est sous ce lien :
http://nsm04.casimages.com/img/2010/09/ ... 785582.gif

= Voici la description que j'aimerais que tu joignes :
Merci =)


C'est un programme qui fait tout sur les équations logiques. Tableaux de Karnaugh, Tables de vérité, SIMPLIFICATION algébrique, ... Le tout bien présenté et ergonomique !

La version 2.0 recèle de nombreuses nouveautés et améliorations !

* Tout d'abord, l'affichage "pretty print" affiche l'équation saisie en écriture naturelle, et retourne aussi les résultats en écriture naturelle. Cela permet une grande facilité de lecture ! ( voyez vous même sur la capture ! =) )
* Le moteur de simplification algébrique qui permet la simplification de votre équation par les règles de l'algèbre de Boole a été grandement AMELIORE ! Il est, je pense, 100% fiable a présent. Seul le temps de simplification est un peu long, selon le nombre de variable...
* Vous pouvez même suivre la simplification pas à pas ! ; )
* De même, le moteur de transformation "ladder", c'est à dire pour circuits électrique, (il transforme votre équation en variables uniques complémentées grâce au théorème de Morgan) a été grandement amélioré !
* Une nouvelle fonctionnalité : la transformation de l'équation pour utilisation avec la cellule universelle NAND. Très pratique, car souvent demandé en interro !
* Tout les résultats et les équations entrées sont stockés dans un historique que l'on peut rappeler ! Très pratique ! =)

Sinon, toujours dispo dans cette version 2.0 :

* Tableau de Karnaugh
* Table de vérité binaire naturel
* Table de vérité code GRAY
* Vérification de l'équivalence de deux expressions
* à partir d'une table de vérité ou d'un tableau de Karnaugh :
= Donner l'équation "brute"
= Donner l'équation simplifiée

Bonne utilisation !! =)