한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과133건

검색 결과 제목

  1. 718,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
  2. 72인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?
  3. 73‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
  4. 74비슷한 것끼리 묶어 보는 습관이 선택에도 연결될까?
  5. 75무작위 숫자를 본 뒤의 추정치는 왜 그 숫자 쪽으로 끌릴까?
한 문제에서 첫 후보 하나와 8192개 후보 묶음이 각각 검증기로 들어가 pass at 1과 pass at 8192로 나뉘는 도식

8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?

한 문제에서 첫 후보 하나와 8192개 후보 묶음이 각각 검증기로 들어가 pass at 1과 pass at 8192로 나뉘는 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

8,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?

Kimina-Prover Preview v1의 강화학습과 miniF2F pass@8192 결과를 살펴보며 대규모 후보 탐색 성과와 단일 시도 능력, 형식 검증 비용을 구분한다.

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리

인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

같은 최종 답 아래에 1단계 규칙, 중간 결론, 2단계 규칙, 최종 결론을 정렬한 증명 사다리
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI) 논리시험에 정답표만 있으면 어디서 틀렸는지 알 수 있을까?

P-FOLIO는 0~20단계의 사람이 쓴 증명 연쇄를 제공해 최종 분류와 단계 규칙 평가를 분리합니다.

P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
명제 A, A가 증명 가능하다는 상자 A, 상자 A이면 A라는 반성 원리, 그리고 이를 다시 상자로 감싼 뢰프 조건을 층별로 보여 주는 도식.

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

명제 A, A가 증명 가능하다는 상자 A, 상자 A이면 A라는 반성 원리, 그리고 이를 다시 상자로 감싼 뢰프 조건을 층별로 보여 주는 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?

증명가능성 논리는 ‘이 문장은 어떤 형식 체계에서 증명된다’를 상자 기호로 다루며, 자기언급과 괴델의 불완전성 정리를 한 언어 안에서 분석합니다.

Provability Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
기기 A 10만 원 10시간, B 8만 원 7시간, C 11만 원 9시간. 가격은 낮게 배터리는 길게 선호할 때 A만 C를 두 기준에서 지배한다.

비슷한 것끼리 묶어 보는 습관이 선택에도 연결될까?

기기 A 10만 원 10시간, B 8만 원 7시간, C 11만 원 9시간. 가격은 낮게 배터리는 길게 선호할 때 A만 C를 두 기준에서 지배한다.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

비슷한 것끼리 묶어 보는 습관이 선택에도 연결될까?

미끼 선택지 연구는 지각적 근접성에 대한 민감도와 선택 맥락 효과의 관계를 살폈습니다. 집단 평균과 개인차, 연관과 원인을 구분해 읽습니다.

Attraction to similar options: The Gestalt law of proximity is related to the attraction effect

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
무작위 시작값 10과 65에서 중앙 추정 25와 45로 이어지는 두 경로와 실제 근거 확인점이 별도로 표시된다.

무작위 숫자를 본 뒤의 추정치는 왜 그 숫자 쪽으로 끌릴까?

무작위 시작값 10과 65에서 중앙 추정 25와 45로 이어지는 두 경로와 실제 근거 확인점이 별도로 표시된다.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 입문

무작위 숫자를 본 뒤의 추정치는 왜 그 숫자 쪽으로 끌릴까?

Tversky와 Kahneman의 기준점 실험은 무관한 시작값도 수량 추정의 출발점이 되어 조정이 부족할 수 있음을 보여 줍니다.

Judgment under Uncertainty: Heuristics and Biases

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

71–75 / 133편