한곳에서 찾는 논리 자료

통합검색

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

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

세 연구자가 논문과 도표를 함께 검토하고 작은 갈색 안경 올빼미가 곁에서 책을 읽는 모습

관심 주제로 찾아보기

조건 초기화

검색 결과473건

검색 결과 제목

  1. 356증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?
  2. 357근거가 두 개면 설득력도 두 배일까?
  3. 358같은 연구를 다시 하면 결과는 얼마나 돌아올까?
  4. 359인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?
  5. 360조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?
Coq, 증명 상태, 전술 예측의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

Coq, 증명 상태, 전술 예측의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

증명을 게임처럼 배우면 인공지능(AI)는 무엇을 예측할까?

GamePad는 Coq 증명을 목표·맥락·전술·하위 목표의 상태 전이로 노출해 AI가 남은 거리와 다음 전술을 학습하도록 했습니다.

GamePad: A Learning Environment for Theorem Proving

게시 2026-09-12 · 약 10분해외 논리학 연구 해설 읽기 →
교육 이수 확인과 서약 제출 확인 두 노드가 두 조건 충족이라는 명시적 결합 노드로 연결되고, 그 노드에서 규칙에 따른 열쇠 관리 자격으로 연결된다.

근거가 두 개면 설득력도 두 배일까?

교육 이수 확인과 서약 제출 확인 두 노드가 두 조건 충족이라는 명시적 결합 노드로 연결되고, 그 노드에서 규칙에 따른 열쇠 관리 자격으로 연결된다.
논증과 대화논리학 배우기 · 개념·이론 · 입문

근거가 두 개면 설득력도 두 배일까?

함께 있어야 작동하는 근거와 따로도 힘을 갖는 근거를 구분합니다. 근거를 하나 지워 보는 논증 읽기입니다.

Informal Logic

게시 2026-09-12 · 약 7분논리학 학습 글 읽기 →
원 연구, 직접 재현, 복수 기준를 연결해 조건과 범위를 확인하는 교육용 도식.

같은 연구를 다시 하면 결과는 얼마나 돌아올까?

원 연구, 직접 재현, 복수 기준를 연결해 조건과 범위를 확인하는 교육용 도식.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

같은 연구를 다시 하면 결과는 얼마나 돌아올까?

대규모 심리학 재현 프로젝트는 유의성 하나가 아니라 효과 크기·신뢰구간·주관 평가를 함께 봐야 함을 보여 줍니다.

Estimating the reproducibility of psychological science

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
최종 목표 '라벨이 있고 날짜가 있다'가 '라벨이 있다: 전제로 해결'과 '날짜가 있다: 근거 필요'라는 두 하위 목표로 분기한다.

인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?

최종 목표 '라벨이 있고 날짜가 있다'가 '라벨이 있다: 전제로 해결'과 '날짜가 있다: 근거 필요'라는 두 하위 목표로 분기한다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

인공지능(AI)가 쓸 만한 정리를 찾으면 증명도 끝난 걸까?

린도조 연구에서 전제 검색, 다음 단계 제안, 형식 검증의 역할을 나눕니다. 증명의 빈칸이 어떻게 드러나는지 살펴봅니다.

LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

게시 2026-09-12 · 약 7분해외 논리학 연구 해설 읽기 →
후보 생성, 조건 검사, 불가능성 증명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?

후보 생성, 조건 검사, 불가능성 증명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?

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

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

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →

356–360 / 473편