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 définition d'une …
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 …
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 calculatrices ont différentes manières de …
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 un détail qui …
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 …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.