코너 안내자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?논리학 배우기
자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?
자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과241건
검색 결과 제목
코너 안내칸토어는 왜 이미 얻은 결론에 새 증명을 붙였을까?논리학 배우기
칸토어는 왜 이미 얻은 결론에 새 증명을 붙였을까?
1874년 첫 비가산성 증명, 1891년 할레 발표, 1892년 회보 인쇄를 서로 다른 사건으로 나눈 연표
코너 안내증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?논리학 배우기
증명 답안의 점수를 인공지능(AI)에게 맡겨도 될까?
홀수 합의 두 사례만 든 답안 A와 임의의 두 홀수를 사용한 답안 B를 비교하는 표. B는 합이 정수의 두 배임을 보인다.
코너 안내인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?논리학 배우기
인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?
시작 전제에서 세 갈래의 유효한 추론이 나오지만 목표에 닿는 가운데 경로만 선택해야 하는 탐색 트리
코너 안내중간에 들르는 땅에서는 들어온 뒤 나가야 한다논리학 배우기
중간에 들르는 땅에서는 들어온 뒤 나가야 한다
중간 지역은 들어옴과 나감이 두 쌍으로 묶여 사용한 끝이 네 개다. 출발 지역은 첫 나감 하나와 들어옴·나감 한 쌍으로 세 개, 도착 지역은 들어옴·나감 한 쌍과 마지막 들어옴 하나로 세 개다.
186–190 / 241편