코너 안내자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?논리학 배우기
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과496건
검색 결과 제목
코너 안내중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?논리학 배우기
중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?
중세 논리학은 삼단논법 밖의 ‘따라나옴’을 어떻게 설명했을까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
코너 안내오즈비가 3이면 위험도 세 배라고 읽어도 될까?논리학 배우기
코너 안내풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?논리학 배우기
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
코너 안내혼자 생각할 때의 편향이 토론에서는 장점이 될 수 있을까?논리학 배우기
혼자 생각할 때의 편향이 토론에서는 장점이 될 수 있을까?
혼자 생각할 때의 편향이 토론에서는 장점이 될 수 있을까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
486–490 / 496편