한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과10건

검색 결과 제목

  1. 1‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?
  2. 2자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?
  3. 3같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?
  4. 48,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
  5. 5조건을 못 맞추는 퍼즐은 인공지능(AI)에게 왜 더 어려울까?
A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

A 또는 B라는 목표에서 A의 증명이나 B의 증명 가운데 하나를 실제로 제시해야 한다는 두 갈래 흐름
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

‘A 또는 B’를 증명하려면 어느 쪽인지도 보여 주어야 할까?

직관주의 논리는 참을 구성 가능한 증명과 연결합니다. 배중률과 이중부정 제거가 왜 자동 규칙이 아닌지 살펴봅니다.

Intuitionistic Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

자연어 문제에서 형식 명세와 증명기로 이어지는 화살표 사이에 의미 보존 검증 문이 별도로 놓여 있다.
인공지능과 논리해외 학술 연구 · 연구 해설 · 심화

자연어 수학을 논리식으로 옮기면 의미도 자동으로 보존될까?

대규모 언어모델의 자동 형식화는 일부 문제를 완전한 Isabelle 명세로 바꾸고 증명 학습을 개선했지만 번역 검증이 병목입니다.

Autoformalization with Large Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
현재 세계 w0에서 A가 참인 w1과 거짓인 w2로 접근하는 화살표와 가능·필연 판정

같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?

현재 세계 w0에서 A가 참인 w1과 거짓인 w2로 접근하는 화살표와 가능·필연 판정
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

같은 ‘필연’이라도 가능한 세계의 연결 방식에 따라 논리가 달라질까?

양상논리의 □와 ◇는 접근 가능한 세계의 구조에 따라 다른 원리를 만족합니다. 기호의 직관과 형식 규칙을 구분해 읽습니다.

Modal Logic

게시 2026-09-13 · 약 9분논리학 학습 글 읽기 →
한 문제에서 첫 후보 하나와 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분해외 논리학 연구 해설 읽기 →
후보 생성, 조건 검사, 불가능성 증명를 차례로 연결하고 조건·범위·반례를 확인하는 교육용 도식.

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

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

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

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

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

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

1–5 / 10편