Quando si confrontano valori in virgola mobile per l'uguaglianza, esistono due approcci diversi: NaNnon essere uguale a se stesso, che corrisponde alla specifica IEEE 754 . NaNessendo uguale a se stesso, che fornisce la proprietà matematica della Riflessività che è essenziale per la definizione di una relazione di equivalenza I …
Attualmente sto leggendo "La fine dell'errore - Unum Computing" di John Gustafson ( Youtube ). Ciò di cui non sono ancora sicuro è come i casi gestiti in IEEE da zero con segno negativo vengano gestiti con unum. Quindi, prima di tutto, gli unum consentono di rappresentare determinati valori esatti …
Passando attraverso l' operazione Modulo (il viale che ho inserito esplorando la differenza tra rememod ) mi sono imbattuto in: In matematica il risultato dell'operazione modulo è il resto della divisione euclidea. Tuttavia, sono possibili altre convenzioni. Computer e calcolatrici hanno vari modi di memorizzare e rappresentare numeri; pertanto la …
È possibile o addirittura possibile utilizzare l'algebra relazionale e / o il calcolo relazionale sotto forma di prove per testare / verificare la correttezza di istruzioni, funzioni e stored procedure SQL? Mi sembra che dovrebbe essere almeno possibile, ma non so se manchi un dettaglio che rende errato un mapping …
Di recente, sono diventato profondamente interessato a Haskell. Mentre cerco di apprendere nuovi concetti (ad esempio la parola chiave forall e la monade ST ) e il sistema di tipi di Haskell in generale, mi imbatto continuamente in concetti tratti dalla teoria delle categorie e dal calcolo lambda . Quindi …
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.