Studio

A quiet strength deepening with every paper stacked. What knowledge will uncover and fulfill your hidden value today?

공리-론

1. [명사] 어떤 영역의 공리계를 찾아내어, 그것과 특정한 추리 규칙에 따라 그 영역의 모든 명제를 연역적으로 이끌어 내는 방법.
2. 대수적 방법을 사용하지 않고, 공리(公理)에서 출발하여 논리적으로 옳고 그른 것을 논증하는 기하학.
3. 프로그램의 수행 효과를 형식적인 문장으로 표현하여 의미를 나타내는 접근법. 하드웨어의 상태뿐만 아니라 계산 과정이나 별도의 중간 과정 따위를 명시하지 않는다.