이 두 함수의 형식이 잘 지정되었는지 어떻게 증명할 수 있습니까? 나는이 질문으로 조금 잃었다. 문제는 할당과 같은 이후 let rec reduce f lst u =
match lst with
| [] -> u
| (h::t) -> f h (reduce f t u)
let rec forall2 p l1 l2 =
mat
오라클 데이터베이스에서 BITOR()를 수행하는 방법을 찾고 대신 BITOR (a, b)를 + b - BITAND (a, b)로 바꾸고 대신 BITAND()를 사용하라는 제안을 보았습니다. 몇 번 손으로 테스트 해 보았습니다. 생각할 수있는 모든 이진수에 대해 작동하는 것으로 확인되었지만 이것이 왜 올바른지 빠른 수학적 증명을 생각할 수는 없습니다. 누군가
그래서 나는 사용자 정의 오류 모나드를 썼다. 그래서 나는 모나드 법칙에 대한 몇 가지 법칙을 증명할 수 있을지 궁금했다. 누군가 나를 도울 수있는 시간을 갖기를 원한다면 많은 도움이 될 것입니다. 감사! 그리고 여기 내 코드입니다 : data Error a = Ok a | Error String
instance Monad Error where
나는 빅 오, 오메가, 쎄타 표기법이 무엇인지, 그리고 기능이 그들 중 하나인지 증명하는 방법에 대해 잘 알고 있다고 생각합니다. 나는 문제의 경우처럼 그들의 조합을 증명하는 방법을 이해하지 못한다. 누군가 나에게 설명 할 수 있을까요? Θ (N) + O (N^3) = O는 (N^3) 이 편집 : 오타, 원래