코너 안내인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?논리학 배우기
인공지능(AI)가 보조선을 잘 찾으면 기하 증명도 끝난 걸까?
형식화된 전제에서 신경모형의 보조점 후보, 기호 엔진의 규칙 유도, 검증된 결론으로 이어지는 네 단계 표. 각 단계의 실패 조건을 함께 표시한다.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
통합검색2453건
검색 결과 제목
코너 안내새 정보가 들어오면 결론을 거두어도 논리적일까?논리학 배우기
코너 안내첫해와 둘째 해를 나란히 두어 ‘피할 수 있었던가’를 묻는다논리학 배우기
첫해와 둘째 해를 나란히 두어 ‘피할 수 있었던가’를 묻는다
첫해에는 질병 영역이 크게 두드러지고 둘째 해에는 작아지는 두 원형 패널과, 그 사이에 위생위원회·간호·급식·계절·병력 변화가 함께 놓인 전후 비교 도식
코너 안내도표가 지지하는 주장과 넘지 못하는 선을 분리한다논리학 배우기
도표가 지지하는 주장과 넘지 못하는 선을 분리한다
질병 사망 우세와 위생 개선 뒤 감소라는 관찰이 비교 가능한 기록이라는 전제를 거쳐 예방 가능성과 위생 개혁 필요성이라는 결론을 지지하고, 계절·병력·다른 개입·기록 누락이 인과 단정을 제한하는 논증도
코너 안내죽음을 그리기 전에 같은 기준으로 세어야 했다논리학 배우기
죽음을 그리기 전에 같은 기준으로 세어야 했다
1854년 스쿠타리 도착과 기록 수집, 1855년 위생위원회의 개선 작업, 1856년 귀국 뒤 윌리엄 파와 분석, 1858년 비공개 보고서와 도표, 1859년 공개 책과 논문으로 이어지는 연표
1691–1695 / 2453편