코너 안내풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?논리학 배우기
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?
풀지 못한 정리에서 다시 배우면 자동증명기는 더 강해질까?의 질문, 방법, 결과와 적용 범위를 세 단계 카드로 정리한 교육용 도식
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과557건
검색 결과 제목
코너 안내제논의 문제 제기, 아리스토텔레스의 응답, 후대 수학의 엄밀한 설명논리학 배우기
제논의 문제 제기, 아리스토텔레스의 응답, 후대 수학의 엄밀한 설명
생각그림 14 · 제논의 문제 제기, 아리스토텔레스의 응답, 후대 수학의 엄밀한 설명. 질문을 다루는 방법이 어떻게 발전했는지 따라가 보자.
코너 안내고대의 전승, 현대의 설명 도구, 오늘의 질문을 층별로 구분했다논리학 배우기
고대의 전승, 현대의 설명 도구, 오늘의 질문을 층별로 구분했다
생각그림 02 · 고대의 전승, 현대의 설명 도구, 오늘의 질문을 층별로 구분했다. 사진과 좌표는 이해를 돕기 위해 덧붙인 현대의 도구다.
코너 안내규칙의 출처, 적용 시점, ‘승리’의 역할이라는 세 질문이 고대의 재판 이야기에서 현대 논리로 이어진다.논리학 배우기
규칙의 출처, 적용 시점, ‘승리’의 역할이라는 세 질문이 고대의 재판 이야기에서 현대 논리로 이어진다.
생각그림 14 · 규칙의 출처, 적용 시점, ‘승리’의 역할이라는 세 질문이 고대의 재판 이야기에서 현대 논리로 이어진다.
코너 안내계약은 지급 조건을, 판결은 현재 청구의 결론을 정한다논리학 배우기
계약은 지급 조건을, 판결은 현재 청구의 결론을 정한다
생각그림 08 · 계약은 지급 조건을, 판결은 현재 청구의 결론을 정한다. 두 규칙의 질문과 적용 시점을 분리했다.
511–515 / 557편