한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과19건

검색 결과 제목

  1. 6논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?
  2. 7영향이 없어야 할 대조군이 움직이면 무엇을 의심해야 할까?
  3. 88,192번 중 한 번 성공한 80.7%를 ‘한 번의 실력’으로 읽어도 될까?
  4. 9논리 기호의 뜻을 진리표 없이 설명할 수 있을까?
  5. 10‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
두 조건의 네 조합 00, 01, 10, 11에서 또는의 출력은 0,1,1,1이고 그리고는 0,0,0,1이다.

논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?

두 조건의 네 조합 00, 01, 10, 11에서 또는의 출력은 0,1,1,1이고 그리고는 0,0,0,1이다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

논리의 ‘또는’을 보통 덧셈처럼 계산해도 될까?

대수적 논리는 문장의 관계를 연산 구조와 연결합니다. 참·거짓에 숫자를 붙일 때 계산 규칙까지 명확히 해야 하는 이유를 살펴봅니다.

Algebraic Propositional Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
주 분석 → 교육 참여 → 올해 사고 / 음성대조 → 교육 참여 → 지난해 사고 / 연관 → 효과 아님 → 편향 점검을 비교하는 LTCT 교육용 도식

영향이 없어야 할 대조군이 움직이면 무엇을 의심해야 할까?

주 분석 → 교육 참여 → 올해 사고 / 음성대조 → 교육 참여 → 지난해 사고 / 연관 → 효과 아님 → 편향 점검을 비교하는 LTCT 교육용 도식
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

영향이 없어야 할 대조군이 움직이면 무엇을 의심해야 할까?

음성대조는 효과가 없어야 할 곳의 연관으로 관찰연구 편향을 진단합니다.

Negative Controls: A Tool for Detecting Confounding and Bias in Observational Studies

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
한 문제에서 첫 후보 하나와 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분해외 논리학 연구 해설 읽기 →
명제 A, A가 증명 가능하다는 상자 A, 상자 A이면 A라는 반성 원리, 그리고 이를 다시 상자로 감싼 뢰프 조건을 층별로 보여 주는 도식.

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

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

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

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

Provability Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →

6–10 / 19편