코너 안내정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?논리학 배우기
정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?
형식화 → 164만 명제 → Lean 4 / 반복학습 → 새 증명 → 다음 모델 / 평가 → 57.6% P@32 → Putnam 7를 비교하는 LTCT 교육용 도식
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
통합검색2499건
검색 결과 제목
코너 안내같은 카드라도 순서를 바꾸면 다른 무늬가 된다논리학 배우기
같은 카드라도 순서를 바꾸면 다른 무늬가 된다
같은 A B C 카드 세 장을 A-B-C와 A-C-B 순서로 놓았을 때 서로 다른 여섯 행 무늬가 생기는 비교 도해
코너 안내1801년과 1804~1805년은 같은 문장을 가리키지 않는다논리학 배우기
1801년과 1804~1805년은 같은 문장을 가리키지 않는다
1801년 시연, 1804~1805년 개발, 19세기 확산, 1843년 이후 해석기관 카드, 1910년 무렵 교육용 직기를 서로 다른 사건과 유물로 나눈 연표
코너 안내복잡한 그림도 씨실 한 줄마다 내리는 선택으로 바꿀 수 있다논리학 배우기
복잡한 그림도 씨실 한 줄마다 내리는 선택으로 바꿀 수 있다
여섯 칸 격자 무늬의 셋째 행을 카드 한 장의 구멍 배열로 옮기고, 핀과 고리가 날실 일부를 들어 올리는 과정을 위에서 아래로 배치한 도해
코너 안내카드 한 장, 카드 순서, 반복 횟수를 따로 바꾸어 보자논리학 배우기
카드 한 장, 카드 순서, 반복 횟수를 따로 바꾸어 보자
카드 구멍 하나, 카드 두 장의 순서, 카드 묶음의 반복 횟수를 각각 따로 바꿀 때 무늬에서 달라지는 범위를 비교한 세 칸 도해
1626–1630 / 2499편