«math» etiketlenmiş sorular

Eşitlik için kayan nokta değerleri karşılaştırılırken iki farklı yaklaşım vardır: NaNIEEE 754 şartnamesine uyan kendine eşit olmamalıdır . NaNEşdeğerlik ilişkisinin tanımlanması için gerekli olan refleksivitenin matematiksel özelliğini sağlayan kendisine eşit olmak C # ( floatve double) içindeki yerleşik IEEE kayan nokta türleri ve ==ve !=(ve ilişkisel operatörler gibi <) için …

9 c#  .net  math  floating-point 

Şu anda John Gustafson ( Youtube ) tarafından yazılan "Hata Sonu - Unum Computing" okuyorum . Hala emin olmadığım , IEEE'de negatif olarak sıfırlanmış davaların nasıl ele alındığıdır. Bu nedenle, her şeyden önce, unums belirli kesin değerleri (kayan noktalara benzer şekilde) temsil etmeye izin verir ve ek olarak kesin değerler …

9 math  floating-point 

Geçiyor Modülo operasyonu (arasındaki farkı araştırırken girdiğim caddesi remvemod ben rastladım): Matematikte modulo işleminin sonucu Öklid bölümünün geri kalan kısmıdır. Ancak, başka sözleşmeler de mümkündür. Bilgisayarlar ve hesap makineleri sayıları depolamanın ve göstermenin çeşitli yollarına sahiptir; dolayısıyla modulo operasyonu tanımlamaları programlama diline ve / veya temel donanıma bağlıdır. Sorular: Öklid …

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

İlişkisel cebir ve / veya ilişkisel hesabı, SQL deyimlerinin, işlevlerinin ve saklı yordamlarının doğruluğunu sınamak / doğrulamak için bir kanıt şeklinde kullanmak mümkün veya hatta mümkün müdür? Bana en azından mümkün gibi görünüyor, ama kanıt ve kod arasında 1: 1 eşleme yapar eksik bir ayrıntı varsa bilmiyorum. Herhangi biriniz böyle …

9 testing  sql  math  relational-database 

Son zamanlarda Haskell ile derinden ilgilenmeye başladım. Genel olarak yeni kavramlar (örneğin forall anahtar kelimesi ve ST monad ) ve Haskell'in tip sistemini öğrenmeye çalışırken , sürekli olarak kategori teorisi ve lambda hesabından kavramlarla karşılaşıyorum . Merak ediyorum: Haskell'in tip sisteminin güçlü bir şekilde anlaşılması için başka hangi matematik dalları …

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