연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
아리스토텔레스의 《Prior Analytics》를 따라, 전제와 항, 보편·특수, 중항의 위치가 만드는 세 도형, 전환·환원·반례로 필연적 귀결을 가르는 방법을 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Aristotle, Prior Analytics (기원전 4세기)
주세페 피아노의 《Arithmetices principia, nova methodo exposita》(1889)를 따라, 논리 기호와 산술의 아홉 공리, 후속자·귀납에서 덧셈·곱셈·유리수로 이어지는 형식화를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
Giuseppe Peano, Arithmetices principia, nova methodo exposita (1889)
앨런 튜링의 「On Computable Numbers, with an Application to the Entscheidungsproblem」(1936)을 따라, 유한한 상태표와 테이프에서 보편 기계, circle-free 판정의 한계와 결정 문제로의 환원까지 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
A. M. Turing, On Computable Numbers, with an Application to the Entscheidungsproblem (1936)
존 매카시의 「Programs with Common Sense」(1959)을 따라, 사실·규칙·목표를 선언문으로 주고 즉각 추론의 결론을 행동으로 잇는 구상과 관련 전제 선택·시간·맥락의 한계를 읽습니다. 14개의 문답, 15개의 생각그림과 세 가지 실험을 담았습니다.
John McCarthy, Programs with Common Sense (1959)
세 연구의 대상·비교 활동·검사 시점·결과 유형을 골라 포함 연구와 허용되는 해석을 바꾸고, 서로 다른 설계를 한 수치로 섞지 않는다.
Test-Enhanced Learning: Taking Memory Tests Improves Long-Term Retention
56–60 / 521편
