기관회원 [로그인]
소속기관에서 받은 아이디, 비밀번호를 입력해 주세요.
개인회원 [로그인]

비회원 구매시 입력하신 핸드폰번호를 입력해 주세요.
본인 인증 후 구매내역을 확인하실 수 있습니다.

회원가입
서지반출
전자계산기 프로그래밍에 있어서의 귀납적 수법에 관한 연구
[STEP1]서지반출 형식 선택
파일형식
@
서지도구
SNS
기타
[STEP2]서지반출 정보 선택
  • 제목
  • URL
돌아가기
확인
취소
  • 전자계산기 프로그래밍에 있어서의 귀납적 수법에 관한 연구
저자명
임제탁,. Chae-Tak Lim
간행물명
전기학회지= The Processing of the Institute of Electrical Engineers
권/호정보
1975년|24권 1호|pp.70-74 (5 pages)
발행정보
대한전기학회
파일정보
정기간행물|
PDF텍스트
주제분야
기타
이 논문은 한국과학기술정보연구원과 논문 연계를 통해 무료로 제공되는 원문입니다.
서지반출

기타언어초록

A model computer is designed and using this model computer it is demonstrated that computable functions are equivalent to recursive functions. It is also shown that iteratively defined computable functions can be transformed to recursively defined computable functions and that recursive programming is possible in principle, when iterative programming is possible.