코너 안내자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?논리학 배우기
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
통합검색2632건
검색 결과 제목
코너 안내인공지능(AI)는 언제 계산기를 부를지 어떻게 배울까?논리학 배우기
인공지능(AI)는 언제 계산기를 부를지 어떻게 배울까?
올바른 입력 18×7−6은 120, 잘못 묶은 입력 18×(7−6)은 18. 둘 다 실행되지만 두 번째는 개수 6개를 상자 수에서 빼는 의미 오류다.
코너 안내두 기호만으로 모든 수를 적을 수 있을까논리학 배우기
코너 안내이진 산술이 먼저였고 괘 배열의 회신은 나중이었다논리학 배우기
이진 산술이 먼저였고 괘 배열의 회신은 나중이었다
1679년 라이프니츠의 이진 산술 원고, 1701년 봄 부베에게 수표 발송, 1701년 11월 4일 괘 배열 회신, 1703년 논문 작성과 학술원 귀속, 1705년 회보 인쇄를 잇는 세로 연표
코너 안내형식적 대응은 확인되지만 발명의 직접 계보는 따로 입증해야 한다논리학 배우기
형식적 대응은 확인되지만 발명의 직접 계보는 따로 입증해야 한다
1679년 이전 연구와 1701년 괘 배열 회신, 1703년 논문 사용을 근거로 형식적 대응과 공개 설명에서의 영향은 지지하지만 직접 발명 원인 주장은 지지하지 않는 논증도
1771–1775 / 2632편