proof-of-correctness

    2

    1답변

    누구든지이 질문에 답할 수 있는지 궁금합니다. 이전 시험지에서 나온 것으로 이번 해의 시험 준비를 알면됩니다. 이 질문은이 요구를 정확히, 내가 완전히 잃어버린 오전 너무 간단 보인다? 코드 관련된 정수 변수의 다음 섹션 고려해 if (i < j) { m = i; } else { m = j; } 적절한 출력 조건을 명시하고 코드의

    2

    1답변

    목록 x, y를 매개 변수로 사용하고 x와 y의 합집합에서 z 번째로 작은 요소를 반환하는 다음 알고리즘을 고려하십시오. 사전 조건 : X 및 Y는 증가하는 순서로 int의 정렬 된 목록이며 분리되어 있습니다. z는 2로 감소 유지하고 결국 기본 사례 중 하나에 도달하지만 내가 캔트 때문에는 의는 의사 코드, 그래서 색인, 나는 그것이 종료 것을 증명할 수

    3

    2답변

    나는 람다 계산법에 익숙하지 않아 다음을 증명하기 위해 고심하고 있습니다. SKK와 II는 베타 버전과 같습니다. 는 S 람다 xyz.xz (YZ를) = K = 람다 xy.x I = 람다 XX 그것을 열어서 SKK을 감소 베타하려고했으나데도 없어 그것을 지저분해진다. 적은 단계와 다른 접근 방식, 첫 λyz.z하는 SK를 줄이고,, SKK이 S를 확장하지

    9

    6답변

    안녕 얘들 아 내가 2 알고리즘을 비교하려고하고 내가 그들에 대한 증거를 시도하고 작성할 수 있습니다 생각! 우리가 같은 질문을받을 것입니다 우리의 수학 수업 작년에 일반적으로 (내 수학이 너무 따라서 질문을 짜증이) 증명 : (2R + 3) = N (N + 4) 다음 내가 필요한 4 단계를 수행하고 끝에 대답을 얻을 것입니다 내가 갇혀 오전 어디 prim