코너 안내증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?논리학 배우기
증명 인공지능(AI)를 비교하려면 같은 문제를 여러 형식체계로 옮겨야 할까?
공통 문제, 체계별 형식화, 검증 성공를 연결해 조건과 범위를 확인하는 교육용 도식.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
통합검색1918건
검색 결과 제목
코너 안내답을 찾느라 문제의 구조를 못 배울 수도 있을까?논리학 배우기
답을 찾느라 문제의 구조를 못 배울 수도 있을까?
작업기억 일곱 칸 중 특정 목표 탐색이 네 칸, 주어진 정보가 두 칸을 차지해 한 칸만 남는 모습과 비특정 목표에서 더 많은 칸이 남는 비교 도식.
코너 안내좋은 논증에는 좋은 청중도 필요할까?논리학 배우기
코너 안내위험비 하나로 두 집단의 생존 차이를 모두 설명할 수 있을까?논리학 배우기
위험비 하나로 두 집단의 생존 차이를 모두 설명할 수 있을까?
위험비 하나로 두 집단의 생존 차이를 모두 설명할 수 있을까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
코너 안내검사가 양성이면 질병 확률은 검사 정확도와 같을까?논리학 배우기
검사가 양성이면 질병 확률은 검사 정확도와 같을까?
사전확률 10퍼센트를 오즈 1대9로 바꾸고 양성 우도비 5를 곱해 사후오즈 5대9와 사후확률 약 36퍼센트를 얻는 흐름
606–610 / 1918편