연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.
Amir Pnueli, The Temporal Logic of Programs (1977)
“어떤 자연수에 1을 더하면 3이 된다”를 증명해 봅시다. 수 2를 고르는 일과 2+1=3을 확인하는 일이 함께 필요합니다. 마르틴뢰프의 유형론을 따라, 증명의 각 부분을 어떻게 만들고 사용하는지 살펴봅니다.
Per Martin-Löf, Intuitionistic Type Theory (1984)
배정 단위·집단 크기·군집 내 상관을 바꾸어 개인 무작위와 군집 무작위 연구의 분석 범위를 비교합니다.
CONSORT 2010 statement: extension to cluster randomised trials
말한 사람의 역할·승인 상태·회의록 표현을 바꾸어 제안, 승인 요청, 확정 약속을 구분합니다.
TeamSTEPPS 3.0 Team Training and Implementation
이전·이후 비율을 바꾸어 퍼센트포인트 차이, 시작값 대비 상대변화, 배수를 구분해 문장을 씁니다.
Percentage change and percentage point change
86–90 / 1374편
