Intervalle arithmétique pour ADA

L'arithmétique d'intervalle pour ADA est une bibliothèque de mathématiques qui fournit une implémentation d'intervalles pour ADA.
Télécharger maintenant

Intervalle arithmétique pour ADA Classement & Résumé

Publicité

  • Rating:
  • Licence:
  • GMGPL
  • Prix:
  • FREE
  • Nom de l'éditeur:
  • Dmitry A. Kazakov
  • Site Internet de l'éditeur:
  • http://www.dmitry-kazakov.de/ada/intervals.htm

Intervalle arithmétique pour ADA Mots clés


Intervalle arithmétique pour ADA La description

L'arithmétique d'intervalle pour ADA est une bibliothèque de mathématiques qui fournit une mise en uvre d'intervalles pour ADA. L'arithmétique d'intervalle pour ADA est une bibliothèque de mathématiques qui fournit une mise en uvre d'intervalles pour ADA. Il comprend des opérations arithmétiques et relationnelles.Examples: Tri-State LogicIl.Les intervalles de package sert de package racine et fournit également une logique TRI-State nécessaire pour définir des opérations relationnelles sur des intervalles. Le type logique est défini comme suit: type logique est (faux, vrai, incertain); Les opérations suivantes sont définies pour logique: fonction "non" (gauche: logique) retour logique; fonction "et" (gauche, droite: logique) retour logique; fonction "et" (gauche: logique; droite: booléen) retour logique; fonction "et" (gauche: booléen; droite: logique) retour logique; fonction "ou" (gauche, droite: logique) retour logique; fonction "ou" (gauche: logique; droite: booléen) retour logique; fonction "ou" (gauche: booléen; droite: logique) retour logique; fonction "xor" (gauche, droite: logique) retour logique; fonction "xor" (gauche: logique; droite: booléen) retour logique; fonction "xor" (gauche: booléen; droite: logique) retour logique


Intervalle arithmétique pour ADA Logiciels associés

NetworkX

un package Python pour la création, la manipulation et l'étude de la structure des réseaux complexes ...

151

Télécharger

Tbci

TBCI est une bibliothèque C qui fournit des cours pour les vecteurs, les matrices, etc. ...

159

Télécharger