통합검색

‘같은 반’은 이어지는데 ‘친한 사이’는 왜 안 이어질까?

자기 자신·양방향·관계의 이어짐을 따로 점검하고, 관계선 하나를 바꾸며 동치 관계가 되는 조건을 확인합니다.

관찰자가 한 명뿐이면 여섯 모둠을 같은 시간만큼 볼 수 있을까?

모둠·관찰자·회차·관찰·이동 시간을 바꾸어 관찰 칸, 모둠별 횟수, 기록 공백과 운영 시간을 계산합니다.

TeamSTEPPS Pocket Guide

두 안내판을 비교하는 한 문단, 무엇부터 쓸까?

가상 안내문 두 개를 같은 기준으로 비교하고, 근거를 나열한 초고를 설명과 적용 범위가 있는 문단으로 고쳐 씁니다.

Anatomy of a Body Paragraph · 본문 문단의 구성

같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?

양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.

Modal Logic

자기 자신을 입력으로 받는 규칙은 왜 위험할까?

Coquand의 SEP 항목은 단순 유형이론과 의존 유형이론이 자기적용의 역설을 막고 논리·수학·계산을 조직하는 방식을 설명합니다.

Type Theory