메뉴 건너뛰기
.. 내서재 .. 알림
소속 기관/학교 인증
인증하면 논문, 학술자료 등을  무료로 열람할 수 있어요.
한국대학교, 누리자동차, 시립도서관 등 나의 기관을 확인해보세요
(국내 대학 90% 이상 구독 중)
로그인 회원가입 고객센터 ENG
주제분류

추천
검색
질문

논문 기본 정보

자료유형
학술저널
저자정보
저널정보
한국정보과학회 프로그래밍언어연구회 프로그래밍언어논문지 프로그래밍언어논문지 제20권 제1호
발행연도
2006.9
수록면
1 - 7 (7page)

이용수

표지
📌
연구주제
📖
연구배경
🔬
연구방법
🏆
연구결과
AI에게 요청하기
추천
검색
질문

초록· 키워드

오류제보하기
이 글은 완비부분순서집합(CPO)에서 정의된 단조함수(monotone)의 최소고정점을 구하는 방법을 제시한다. 지금까지 최소고정점을 구하는 방법에 따른 조건들은 이보다 제약이 더 많았다. 그것은 완비부분순서집합에서 정의된 연속함수(continuous)이거나 완비격자(complete lattice)에서 정의된 단조함수(monotone)라는 조건이다. 이글에서는 지금까지 제시된 방법 중 가장 적은 제약조건하에서의 최소고정점을 다룬다.

목차

요약
1. 소개
2. 기본 개념
3. 정의
4. 성질
5. 직관적 해석
6. 정리: 묻고 답하기
감사의 글
참고문헌

참고문헌 (0)

참고문헌 신청

함께 읽어보면 좋을 논문

논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!

이 논문의 저자 정보

최근 본 자료

전체보기

댓글(0)

0