한곳에서 찾는 논리 자료

통합검색

연구와 학습, 시험과 도서를 한곳에서 찾습니다.

검색 결과마다 자료의 코너와 성격을 표시합니다. 제목을 먼저 살펴보고 그림 카드와 기존 본문으로 이어 가세요.

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과64건

표시정렬

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

SATBench의 2,100개 문제는 해 찾기와 불가능성 판정 사이의 비대칭을 드러냅니다.

SATBench: Benchmarking LLMs’ Logical Reasoning via Automated Puzzle Generation from SAT Formulas

인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

FOLIO는 자연어를 1차 논리로 옮기는 정확성과 실제 결론을 실행하는 정확성이 다를 수 있음을 보여 줍니다.

FOLIO: Natural Language Reasoning with First-Order Logic

인공지능과 논리논리학 배우기 · 주제별 학습 · 일반

몇 번의 성공보다 결정적인 한 반례가 알려주는 것을 찾아봅니다.

코너 안내해외 학술 연구해외 학술 연구

해외 학술 연구해외 학술 연구 · 코너 안내

세계 논리학 지도 · 인류가 증명하려 했던 것들 · 논리의 기초와 역사 · 논증과 대화 · 인공지능과 논리 · 다이어그램과 시각추론 · 인간의 사고와 추론 · 증거·확률·인과관계 · 논리교육과 평가

코너 안내고등학교 경시문제를 잘 푸는 증명 인공지능(AI)가 대학원 해석학도 잘 풀까?논리학 배우기

논리학 배우기논리학 배우기 · 코너 안내

학부 100문제와 박사 100문제의 두 층, 최고 일반 모델 16퍼센트와 5퍼센트를 비교한 막대 개념도

56–60 / 64편