본문바로가기

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

단어장에 추가 인쇄
술어^변환^규칙 편집하기 편집 금지 요청
분야
『정보·통신』
「001」어떤 명령문 S의 종료 후 조건 R가 성립하기 위한 가장 약한 조건을 생각하고, 임의의 조건 R에 대하여 그 최약 조건을 줄 수 있는 규칙을 정의하면 그들은 그 명령문 S의 의미를 정의할 수 있다고 하는 규칙.

대역어

영어
predicate transformer
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로