코너 안내정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?논리학 배우기
정리와 증명을 함께 늘리면 자동증명기가 더 강해질까?
형식화 → 164만 명제 → Lean 4 / 반복학습 → 새 증명 → 다음 모델 / 평가 → 57.6% P@32 → Putnam 7를 비교하는 LTCT 교육용 도식
한곳에서 찾는 논리 자료
통합검색
연구와 학습, 시험과 도서를 한곳에서 찾습니다.
검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.
관심 주제로 찾아보기
검색 결과874건
검색 결과 제목
코너 안내같은 카드라도 순서를 바꾸면 다른 무늬가 된다논리학 배우기
같은 카드라도 순서를 바꾸면 다른 무늬가 된다
같은 A B C 카드 세 장을 A-B-C와 A-C-B 순서로 놓았을 때 서로 다른 여섯 행 무늬가 생기는 비교 도해
코너 안내카드 한 장, 카드 순서, 반복 횟수를 따로 바꾸어 보자논리학 배우기
카드 한 장, 카드 순서, 반복 횟수를 따로 바꾸어 보자
카드 구멍 하나, 카드 두 장의 순서, 카드 묶음의 반복 횟수를 각각 따로 바꿀 때 무늬에서 달라지는 범위를 비교한 세 칸 도해
코너 안내사망은 어디에 모였고, 사람들은 어느 물을 마셨는가논리학 배우기
사망은 어디에 모였고, 사람들은 어느 물을 마셨는가
물 노출 가설을 공간 군집, 실제 음용 조사, 비교집단, 멀리 떨어진 노출 사례가 지지하고 기록 누락과 다른 설명이 한계로 붙는 논증도
코너 안내가까이 있는데 안전한 집단과 멀리 있는데 아픈 사례를 함께 본다논리학 배우기
가까이 있는데 안전한 집단과 멀리 있는데 아픈 사례를 함께 본다
펌프와의 거리와 실제 물 노출을 두 축으로 놓고 주변 일반 사례, 구빈원과 양조장, 멀리 물을 배달받은 사례를 배치한 비교표
711–715 / 874편