Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Fermé il y a 4 ans . Verrouillé . Cette question et ses réponses sont verrouillées car la question est hors sujet mais a une signification historique. Il n'accepte pas actuellement de nouvelles réponses ou...
Fermé. Cette question est hors sujet . Il n'accepte pas actuellement les réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin qu'elle soit sur le sujet pour Software Engineering Stack Exchange. Fermé il y a 4 ans . J'ai trouvé un site Web disant que le calcul et l'algèbre...
Sur une ligne numérique de longueur M, où 0 < M <= 1,000,000,000vous avez donné N( 1 < N <= 100,000) des paires entières de points. Dans chaque paire, le premier point représente l'endroit où se trouve actuellement un objet et le deuxième point représente l'endroit où un objet doit être...
J'apprends actuellement Python et je suis au point dans le livre sur l'utilisation de la bibliothèque Math. J'ai regardé le site Web de Python et j'ai remarqué que la bibliothèque était un peu rare et j'écris des fonctions plus utiles. Par exemple, je suis allé de l'avant et j'ai écrit une fonction...
Lors de l'examen de l' implémentation d'une fonction par un autre programmeur pour calculer le CDF de distribution normale , j'ai suggéré de remplacer l'intégralité de l'implémentation par les fonctions intégrées de Python ou d'utiliser SciPy, une bibliothèque scientifique commune. Un autre...
En passant par l' opération Modulo (l'avenue dans laquelle j'ai pénétré en explorant la différence entre remetmod ), je suis tombé sur: En mathématiques, le résultat de l'opération modulo est le reste de la division euclidienne. Cependant, d'autres conventions sont possibles. Les ordinateurs et les...
Est-il possible ou même possible d'utiliser l'algèbre relationnelle et / ou le calcul relationnel sous forme de preuves pour tester / vérifier l'exactitude des instructions, fonctions et procédures stockées SQL? Il me semble que cela devrait être au moins possible, mais je ne sais pas s'il manque...
Je lis actuellement "The End of Error - Unum Computing" par John Gustafson ( Youtube ). Ce que je ne sais toujours pas, c'est comment les cas traités dans IEEE par zéro signé négativement sont traités avec des unums. Ainsi, tout d'abord, les unums permettent de représenter certaines valeurs exactes...
Récemment, je suis devenu profondément intéressé par Haskell. Tout en essayant d'apprendre de nouveaux concepts (par exemple le mot - clé forall et la monade ST ) et le système de types de Haskell en général, je rencontre continuellement des concepts de la théorie des catégories et du calcul lambda...
Lors de la comparaison des valeurs à virgule flottante pour l'égalité, il existe deux approches différentes: NaNn'étant pas égal à lui-même, ce qui correspond à la spécification IEEE 754 . NaNétant égal à lui-même, ce qui fournit la propriété mathématique de la réflexivité qui est essentielle à la...