π
<-
Chat plein-écran
[^]

ABA Logique Nspire 2


Hiérarchie des fichiers

 Téléchargements
 Fichiers hébergés(15021)
 TI-Nspire
(2483)

 Maths(407)

DownloadTélécharger

Actions



Vote (4.6/5):

ScreenshotAperçu


Tester en ligne !

Informations

Catégorie :Category: Maths TI-Nspire
Auteur Author: Loulou
Type : Classeur 3.0.1
Taille Size: 2.03 Mo MB
Mis en ligne Uploaded: 06/11/2011 - 21:18:04
Mis à jour Updated: 23/02/2012 - 20:36:49
Uploadeur Uploader: Loulou 54 (Profil)
Téléchargements Downloads: 5187
Visibilité Visibility: Archive publique
Shortlink : http://ti-pla.net/a3761

Description 

Il s'agit d'un programme très utile pour tous les étudiants en électrique/automatique (supérieur, S SI, STI, ...) et qui font de la logique combinatoire. Ce programme fait tout (ou presque) sur les équations logiques et l'algèbre de Boole.
Voici ENFIN la mise-à-jour qui non seulement apporte la compatibilité avec les OS >=3.2, mais aussi avec les Nspire NON-CAS, et qui apporte aussi de nombreuses améliorations notables ! Avec en particulier la reprogrammation complète d'un nouveau moteur de simplification, plus performant. (cf : le change log au bas de la description)


img


Voici un résumé des fonctionnalités de cette version :

Si l’on saisit une certaine expression, du style //a*b+/(/(c+/d)+/b) (il peut y avoir jusqu'à 6 variables avec les lettres de a à f) :
• Vous pouvez entrer votre équation plus efficacement en profitant de l’auto-complétion des « * » implicites.
• L'équation saisie est affichée en "pretty print".
• On peut visualiser le tableau de Karnaugh, la table de vérité naturelle et la table de vérité en code Gray de l’équation entrée.
• On peut vérifier l'équivalence de notre équation avec une autre forme, si on n’est pas sûr d'une simplification, ou d'une forme sensée être équivalente.
• On peut simplifier l'équation par tableau de Karnaugh, sous forme normale disjonctive ou conjonctive, avec l’affichage interactif des « blocs » de simplification.
• 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 De Morgan.
• On peut transformer l'équation pour une utilisation avec des cellules universelles NAND. (grâce au théorème de De Morgan)
• On peut aussi obtenir l’équation réduite d'un tableau de Karnaugh ou d'une table de vérité donnés, prenant même en charge des états indéterminés (les « don’t care », notés « ϕ »)
• Toutes les équations entrées et les résultats sont stockés dans un historique que l'on peut rappeler !
• Cette version d’ABA Logique offre une ergonomie et une présentation travaillée (en particulier si vous avez la couleur avec une Nspire CX). Vous pouvez parcourir les menus à travers trois moyens différents : flèches, curseur, touches alphanumériques correspondant aux items.
• Compatibilité avec le mode ordinateur du Student Software. (Astuce : vous pouvez utiliser le clic droit de la souris, sur l’ordinateur, à la place de [esc])

=> N'hésitez pas à faire l'activité de découverte du logiciel ! Il s'agit de résoudre des exercices de logique type à l'aide d'ABA Logique.

Bonne utilisation ! :)


Change log de la version 2 :
- Moteur de simplification par tableau de Karnaugh : plus fiable et plus rapide, propose la simplification en forme disjonctive (somme de produits, obtenu en regroupant les 1) et en forme conjonctive (produit de sommes, obtenu en regroupant les 0) Il présente aussi les blocs de simplification de manière interactive !
- Factorisation de la simplification selon le produit (ET) ou selon la somme (OU), pour réduire le nombre de termes.
- Compatibilité avec les Nspire NON-CAS !
- Problèmes de compatibilité avec les OS récents corrigés
- Prise en charge des nouveaux opérateurs logiques apparus à la version 3.2 ! (mais uniquement sur OS >=3.2) Vous pouvez utiliser les signes "=>" et "<=>" dans vos équations !
- La gestion de l'historique a été revue : numérotation en indice des équations entrées, permettant de retrouver plus facilement les formes sensées être équivalentes. (ex : S_4=⋯ )

Archive contentsContenu de l'archive

Action(s) SizeTaille FileFichier
18.89 Ko KB ABA Logique Nspire 2.tns
1.17 Mo MB Activité ~ ABA Logique Nspire 2.pdf
844.36 Ko KB Lisez-moi! ~ ABA Logique Nspire 2.pdf
55.16 Ko KB ABA Logique rev3.2 (source).lua
134.88 Ko KB Animation.gif

Pub / Ads

Selection(s) having this archiveSélection(s) contenant cette archive

-
Rechercher
-
Social TI-Planet
-
Sujets à la une
Comparaisons des meilleurs prix pour acheter sa calculatrice !
Aidez la communauté à documenter les révisions matérielles en listant vos calculatrices graphiques !
Phi NumWorks jailbreak
123
-
Faire un don / Premium
Pour plus de concours, de lots, de tests, nous aider à payer le serveur et les domaines...
Faire un don
Découvrez les avantages d'un compte donateur !
JoinRejoignez the donors and/or premium!les donateurs et/ou premium !


Partenaires et pub
Notre partenaire Jarrety Calculatrices à acheter chez Calcuso
-
Stats.
875 utilisateurs:
>848 invités
>22 membres
>5 robots
Record simultané (sur 6 mois):
6892 utilisateurs (le 07/06/2017)
-
Autres sites intéressants
Texas Instruments Education
Global | France
 (English / Français)
Banque de programmes TI
ticalc.org
 (English)
La communauté TI-82
tout82.free.fr
 (Français)