Pertanyaan yang diberi tag «math»

Saat membandingkan nilai floating point untuk kesetaraan, ada dua pendekatan berbeda: NaNtidak sama dengan dirinya sendiri, yang cocok dengan spesifikasi IEEE 754 . NaNmenjadi sama dengan dirinya sendiri, yang menyediakan properti matematika dari Refleksivitas yang penting untuk definisi relasi Kesetaraan Tipe floating point IEEE bawaan di C # ( floatdan …

9 c#  .net  math  floating-point 

Saya sedang membaca "The End of Error - Unum Computing" oleh John Gustafson ( Youtube ). Yang saya masih tidak yakin tentang bagaimana kasus-kasus yang ditangani di IEEE dengan nol ditandatangani negatif ditangani dengan unums. Jadi, pertama-tama, unums memungkinkan untuk merepresentasikan nilai eksak tertentu (mirip dengan floating point) dan juga …

9 math  floating-point 

Akan melalui Modulo operasi (jalan saya masuk sambil menjelajahi perbedaan antara remdanmod ) saya datang di: Dalam matematika hasil operasi modulo adalah sisa dari divisi Euclidean. Namun, konvensi lain dimungkinkan. Komputer dan kalkulator memiliki berbagai cara untuk menyimpan dan mewakili angka; sehingga definisi mereka tentang operasi modulo tergantung pada bahasa …

9 programming-languages  language-design  math  arithmetic  design-decisions 

Apakah layak atau bahkan mungkin untuk menggunakan aljabar relasional dan / atau kalkulus relasional dalam bentuk bukti untuk menguji / memverifikasi kebenaran pernyataan SQL, fungsi, dan prosedur tersimpan? Sepertinya saya paling tidak harus melakukannya, tapi saya tidak tahu apakah ada detail yang saya lewatkan sehingga membuat pemetaan 1: 1 antara …

9 testing  sql  math  relational-database 

Baru-baru ini, saya menjadi sangat tertarik pada Haskell. Ketika mencoba mempelajari konsep-konsep baru (misalnya kata kunci forall dan ST monad ) dan sistem tipe Haskell secara umum, saya terus mengalami konsep-konsep dari teori kategori dan kalkulus lambda . Jadi, saya bertanya-tanya: Cabang matematika apa lagi yang penting untuk pemahaman yang …

9 programming-languages  functional-programming  math  haskell  type-systems 

Saya membaca sebuah pertanyaan, dan saya mencari masukan tentang bagaimana menyelesaikannya: Angka-angka secara acak dihasilkan dan disimpan ke dalam array (memperluas), Bagaimana Anda melacak median? Ada dua struktur data yang bisa menyelesaikan masalah. Satu adalah pohon biner seimbang, yang lain adalah dua tumpukan yang melacak bagian terbesar dan bagian terkecil …

8 algorithms  performance  math