검증된 증명 다음에 배울 것

1. 01

   이 사례의 합성 전제로, 연구실은 유한 관계 구조에 관한 명제를 명시된 공리와 추론 규칙 아래 기계 검증한 증명서를 확보했다. 연구진은 증명을 성립시키는 핵심 구조를 새 문제에 사용할 설명으로 아직 만들지 못했다.FSP-FI-PROOF-01-P1 · 합성 설정

2. 02

   연구책임자는 공동 연구원들의 다음 연구기 시간과 예약된 계산 자원을 배정할 권한이 있다. 자원은 한 작업을 집중 수행할 규모이며, 배정 뒤 방향을 바꾸면 이미 준비한 계산과 협력 일정 일부를 포기해야 한다.FSP-FI-PROOF-01-P2 · 합성 설정

3. 03

   증명서 구축팀은 관련 명제를 늘려 기존 작업의 활용 범위를 확인하려 하고, 설명 연구팀은 핵심 논증을 재구성하려 한다. 경계 탐색팀은 가정별 필요성을 먼저 묻지만, 세 팀 모두 같은 공동 연구 시간을 요청한다.FSP-FI-PROOF-01-P3 · 합성 설정

선택지의 수정·결합·새 대안 제안도 가능합니다.

관측한 배경 문서, 합성 설정, 추론, 미입증 가설, 가치 판단, 상징의 역할을 구분해 결정의 뿌리를 정의합니다.

두 사건 카드는 동일한 최초 상태에서 갈라지는 대안 분기다. 자동으로 연속 발생하지 않으며 관측 일정이나 정답을 뜻하지 않는다.