«math» 태그된 질문

부동 소수점 값이 동일한 지 비교할 때 두 가지 접근 방식이 있습니다. NaNIEEE 754 사양 과 일치하지 않습니다 . NaN등가 관계 의 정의에 필수적인 반사성 의 수학적 특성을 제공 C # ( float및 double) 에 내장 된 IEEE 부동 소수점 유형은 ==및 !=(및 같은 관계 연산자 <)에 대한 IEEE 의미를 …

9 c#  .net  math  floating-point 

현재 John Gustafson ( Youtube ) 의 "The End of Error-Unum Computing"을 읽고 있습니다. 내가 여전히 확신하지 못하는 것은 IEEE에서 음수 부호 0 으로 처리 된 사례가 unum으로 처리되는 방식입니다. 따라서, 우선, unum은 특정 정확한 값 (부동 소수점과 유사)을 나타낼 수 있으며, 정확한 값 (정확한 -∞ 및 ∞ 포함) 사이에있는 …

9 math  floating-point 

를 통과 모듈로 연산 (사이의 차이 탐험하는 동안 입력 한 길 rem과mod 내가 건너 온) 수학에서 모듈로 연산의 결과는 유클리드 디비전의 나머지입니다. 그러나 다른 규칙도 가능합니다. 컴퓨터와 계산기에는 숫자를 저장하고 나타내는 다양한 방법이 있습니다. 따라서 모듈로 연산의 정의는 프로그래밍 언어 및 / 또는 기본 하드웨어에 따라 다릅니다. 질문 : 를 …

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

SQL 문, 함수 및 저장 프로 시저의 정확성을 테스트 / 확인하기 위해 증명 형식으로 관계형 대수 및 / 또는 관계형 미적분학을 사용하는 것이 가능하거나 가능합니까? 적어도 가능 해야하는 것처럼 보이지만 누락 된 세부 사항이 있는지 증명하지 못하고 증명과 코드 사이의 1 : 1 매핑이 잘못되었습니다. 이런 방법을 시도한 사람이 있습니까? …

9 testing  sql  math  relational-database 

최근 저는 Haskell에 깊은 관심을 가지게되었습니다. 새로운 개념 (예 : forall 키워드 와 ST 모나드 )과 Haskell의 유형 시스템 을 배우려고 노력하는 동안 나는 계속해서 범주 이론 과 람다 미적분학 에서 개념을 접하게 됩니다. 그래서 궁금합니다. Haskell의 유형 체계를 이해하는 데 중요한 다른 수학 분야는 무엇입니까? 이 수학에 대한 엄격한 …

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