Запитання з тегом «math»

При порівнянні значень з плаваючою комою для рівності існує два різних підходи: NaNне дорівнює собі, що відповідає специфікації IEEE 754 . NaNрівність собі, що забезпечує математичну властивість рефлексивності, що має істотне значення для визначення відношення еквівалентності Вбудований в IEEE з плаваючою точкою типу в C # ( floatі double) слід …

9 c#  .net  math  floating-point 

Зараз я читаю "Кінець помилки - обчислюваність Unum" Джона Густафсона ( Youtube ). Я все ще не впевнений у тому, як справи, які розглядаються в IEEE за допомогою негативно підписаного нуля , обробляються unum. Отже, перш за все, unums дозволяють представляти певні точні значення (аналогічно плаваючим точкам) та додатково дозволяють …

9 math  floating-point 

Проходячи через модульну операцію (проспект, в який я входив, вивчаючи різницю між remіmod ), я натрапив: У математиці результатом модульної операції є залишок поділу Евкліда. Однак можливі й інші конвенції. Комп'ютери та калькулятори мають різні способи зберігання та представлення номерів; таким чином, їх визначення модульної роботи залежить від мови програмування …

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

Чи можливо або навіть можливо використовувати реляційну алгебру та / або реляційне числення у формі доказів для перевірки / перевірки правильності операторів, функцій та збережених процедур SQL? Мені здається, що це повинно бути принаймні можливим, але я не знаю, чи є якась деталь, яку я пропускаю, що робить зіставлення 1: …

9 testing  sql  math  relational-database 

Останнім часом я дуже зацікавився Haskell. Намагаючись вивчити нові поняття (наприклад, ключове слово forall та ST monad ) та систему типів Haskell взагалі, я постійно стикаюся з поняттями з теорії категорій та обчислення лямбда . Отже, мені цікаво: Які ще галузі математики важливі для міцного розуміння типової системи Хаскелла? Чи …

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