한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과244건

검색 결과 제목

  1. 16다른 지역에서 얻은 효과를 우리 지역에 적용하려면 무엇을 알아야 할까?
  2. 17그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?
  3. 18하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?
  4. 19같은 값이라도 위치로 읽을 때와 넓이로 읽을 때 정확도가 같을까?
  5. 20‘증명할 수 있다’를 논리 기호로 만들면 무엇이 달라질까?
초보효과10점 숙련효과2점이 같다고 가정할 때 구성비80대20은8.4점 20대80은3.6점.

다른 지역에서 얻은 효과를 우리 지역에 적용하려면 무엇을 알아야 할까?

초보효과10점 숙련효과2점이 같다고 가정할 때 구성비80대20은8.4점 20대80은3.6점.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

다른 지역에서 얻은 효과를 우리 지역에 적용하려면 무엇을 알아야 할까?

인과 지식의 이전은 연구 결과를 단순 복사하는 일과 다릅니다. 집단 간에 무엇이 달라지고 무엇이 유지되는지 가정을 드러내는 방법을 살펴봅니다.

Causal Inference and Data Fusion in Econometrics

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

문제 그림과 문장에서 형식 명세를 거쳐 증명 후보와 커널 검사로 이어지는 네 단계 파이프라인.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

그림이 포함된 정리를 인공지능(AI)가 풀었다면 형식 검증도 통과할까?

MATP-BENCH는 그림과 텍스트가 함께 있는 1,056개 정리를 Lean 4·Coq·Isabelle 형식화와 묶어 멀티모달 모델의 증명 능력을 평가한다.

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
같은 손실 결과로 이어지는 행동과 비행동 경로 아래에 도덕성·책임은 행동 쪽이 높고 후회는 비행동 쪽이 높을 수 있음을 보여 주는 비교 도식.

하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?

같은 손실 결과로 이어지는 행동과 비행동 경로 아래에 도덕성·책임은 행동 쪽이 높고 후회는 비행동 쪽이 높을 수 있음을 보여 주는 비교 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

하지 않은 해와 한 해는 같은 결과여도 다르게 비난받을까?

Jamison·Yay·Feldman은 같은 나쁜 결과도 행동으로 일으켰을 때 더 부도덕하고 비난받을 만하다고 판단하는 누락 편향을 사전등록 복제했다.

Action-inaction asymmetries in moral scenarios: Replication of the omission bias examining morality and blame with extensions linking to causality, intent, and regret

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
같은 25와 50을 공통 눈금 위 막대 위치와 두 원의 넓이로 각각 표현해 판독 과제를 비교한 그림

같은 값이라도 위치로 읽을 때와 넓이로 읽을 때 정확도가 같을까?

같은 25와 50을 공통 눈금 위 막대 위치와 두 원의 넓이로 각각 표현해 판독 과제를 비교한 그림
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

같은 값이라도 위치로 읽을 때와 넓이로 읽을 때 정확도가 같을까?

그래프의 숫자는 같아도 위치·길이·각도·넓이 가운데 어떤 시각 과제를 요구하느냐에 따라 판독 정확도가 달라집니다.

Graphical Perception: Theory, Experimentation, and Application to the Development of Graphical Methods

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

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

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

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

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

Provability Logic

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

16–20 / 244편