연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
“어떤 자연수에 1을 더하면 3이 된다”를 증명해 봅시다. 수 2를 고르는 일과 2+1=3을 확인하는 일이 함께 필요합니다. 마르틴뢰프의 유형론을 따라, 증명의 각 부분을 어떻게 만들고 사용하는지 살펴봅니다.
Per Martin-Löf, Intuitionistic Type Theory (1984)
안드레이 콜모고로프의 「Zur Deutung der intuitionistischen Logik」(1932)를 따라, 직관주의 논리를 문제와 해법의 계산으로 해석하고 함의·부정·전칭·존재의 뜻을 구성 행위로 읽는 과정을 살핍니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
A. N. Kolmogorov, Zur Deutung der intuitionistischen Logik (1932)
반복 횟수와 체계 성분을 바꾸어 평균의 무작위 성분, 결합 표준불확도와 확장 구간이 어떻게 달라지는지 계산합니다.
Guidelines for Evaluating and Expressing the Uncertainty of NIST Measurement Results
같은 응답도 설명회·청문·협상에서 다른 논증 행위가 됩니다. 제도 목표와 허용 행위를 바꾸어 관련성을 판정합니다.
Institutional Insights for Analysing Strategic Manoeuvring in the British Prime Minister’s Question Time
타당화 논증은 관찰에서 채점, 일반화, 실제 수행, 활용 결정으로 넘어가는 근거를 살핍니다. 점수의 정확성과 점수 사용의 정당성을 구별합니다.
A contemporary approach to validity arguments: a practical guide to Kane’s framework
1–5 / 5편
