이 누리집은 대한민국 공식 전자정부 누리집입니다.
- 분야
-
『정보·통신』
- 「001」재귀적 프로그램의 성질을 부동점 의미론에 의거하여 증명하는 방법의 하나. 재귀적 프로그램 F에서 하는 계산은 P의 최소 부동점에 대한 근사의 반복이라고 볼 수 있다. 임의 유한 회의 근사에 대하여 성립하면 근사의 극한인 최소 부동점에서도 성립하는 술어를 허용적 술어라고 하며, 계산 귀납법은 허용적 술어 F에 대하여 근사의 횟수에 관한 수학적 귀납법을 사용하여 최소 부동점에서 F가 성립함을 나타낸다.
관련 어휘
- 비슷한말
- 계산^귀납법(計算歸納法)
대역어
- 영어
- computational induction
어휘 지도(마우스로 어휘 지도를 이동할 수 있습니다.)이용 도움말 바로 가기새 창 보기
