본문바로가기

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

단어장에 추가 인쇄
부동점^귀납법 편집하기 편집 금지 요청
분야
『정보·통신』
「001」재귀적 프로그램의 성질을 부동점 의미론에 의거하여 증명하는 방법의 하나.

대역어

영어
fixpoint induction
내가 살펴본 단어 내 단어장
    단어장에 추가 전체 삭제

    취소
    위로