본문바로가기

태극기이 누리집은 대한민국 공식 전자정부 누리집입니다.

단어장에 추가 인쇄
증명^규칙 편집하기 편집 금지 요청
분야
『정보·통신』
「001」어떤 프로그램 언어에서 쓰인 프로그램의 정당성을 증명할 수 있도록 구성되는 것으로, 증명을 위한 공리와 추론 규칙의 집합. 유클리드 따위 정당성의 증명을 의식한 프로그램 언어에서 시도되었다.

대역어

영어
proof rules
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로