한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과174건

검색 결과 제목

  1. 91내 근거와 상대의 반론을 한 문장에 함께 담을 수 있을까?
  2. 92정보가 늘면 가능한 세계의 수는 왜 줄어들까?
  3. 93무작위배정된 사람을 모두 넣기만 하면 의향대로 분석이 될까?
  4. 94자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?
  5. 95수학 전체를 논리에서 다시 세울 수 있을까?
내 주장 지지, 상대 주장 약화, 두 기능을 함께 수행하는 연결 논증을 세 칸으로 비교한 도식.

내 근거와 상대의 반론을 한 문장에 함께 담을 수 있을까?

내 주장 지지, 상대 주장 약화, 두 기능을 함께 수행하는 연결 논증을 세 칸으로 비교한 도식.
논증과 대화해외 학술 연구 · 연구 해설 · 일반

내 근거와 상대의 반론을 한 문장에 함께 담을 수 있을까?

Kuhn과 Udell은 좋은 논증이 자기 입장을 지지하는 이유만 늘어놓기보다 상대 입장을 약화시키는 이유와 두 기능을 조정해야 한다고 분석했다.

Coordinating own and other perspectives in argument

게시 2026-09-13 · 약 8분해외 논리학 연구 해설 읽기 →
각 100명 무작위배정 뒤 참여와 결과 관측 수가 달라지고 결측 처리 가정으로 분석이 이어지는 흐름도

무작위배정된 사람을 모두 넣기만 하면 의향대로 분석이 될까?

각 100명 무작위배정 뒤 참여와 결과 관측 수가 달라지고 결측 처리 가정으로 분석이 이어지는 흐름도
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 일반

무작위배정된 사람을 모두 넣기만 하면 의향대로 분석이 될까?

의향대로 분석은 배정 집단 유지뿐 아니라 모든 참가자의 결과를 얻고 결측 처리 가정을 밝히는 문제까지 포함합니다.

Intention-to-Treat Analyses and Missing Outcome Data: A Tutorial

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?의 질문, 방법, 결과, 적용을 네 카드로 정리한 도식
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

자연어 수학문제를 5만 7천 쌍의 Lean 문제로 만들면 무엇을 배울까?

대규모 자연어 문제를 Lean 정리로 바꾸며 의미 보존을 어떻게 확인하는가?

Lean Workbook: A large-scale Lean problem set formalized from natural language math problems

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
논리 어휘와 추론 규칙에서 추상화 원리를 거쳐 자연수와 산술 정리로 올라가는 세 층과 각 층 사이의 검토 질문을 보여 주는 도식.

수학 전체를 논리에서 다시 세울 수 있을까?

논리 어휘와 추론 규칙에서 추상화 원리를 거쳐 자연수와 산술 정리로 올라가는 세 층과 각 층 사이의 검토 질문을 보여 주는 도식.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

수학 전체를 논리에서 다시 세울 수 있을까?

논리주의는 산술과 수학을 논리적 진리와 정의로 환원하려 했고, 신논리주의는 추상화 원리로 그 계획을 더 제한된 형태에서 되살립니다.

Logicism and Neologicism

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

91–95 / 174편