본문바로가기

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

단어장에 추가 인쇄
재귀^귀납법 편집하기 편집 금지 요청
분야
『정보·통신』
「001」매카시(McCarthy, J.)에 의하여 도입된 프로그램 성질의 증명법 가운데 하나. 2개의 부분 함수 f와 g가 f=g로 되는 것을, f와 g가 어떤 범함수의 해이고 이 범함수의 최소해가 정의역의 모든 값에 정의됨으로써 증명하는 방법이다.

대역어

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

    취소
    위로