한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과45건

검색 결과 제목

  1. 31서로 모순된 기록이 있으면 어떤 결론이든 따라올까?
  2. 32반박을 받았던 주장도 다시 받아들일 수 있을까?
  3. 33100명 그림은 왜 분모를 잊지 않게 도울까?
  4. 34분석 방법을 조금 바꾸면 연구 결론도 달라질까?
  5. 35정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?
다(지난주 안내)가 나(점검 반박)를 공격하고, 나가 가(개방 제안)를 공격하는 세로 그래프. 화살표는 각 상자의 경계에 닿는다.

반박을 받았던 주장도 다시 받아들일 수 있을까?

다(지난주 안내)가 나(점검 반박)를 공격하고, 나가 가(개방 제안)를 공격하는 세로 그래프. 화살표는 각 상자의 경계에 닿는다.
논증과 대화해외 학술 연구 · 연구 해설 · 일반

반박을 받았던 주장도 다시 받아들일 수 있을까?

공격 관계를 따라가면 처음 보류했던 논증이 방어되는 이유가 보입니다. 덩의 추상논증 틀을 세 논증으로 계산해 봅니다.

On the acceptability of arguments and its fundamental role in nonmonotonic reasoning, logic programming and n-person games

게시 2026-09-12 · 약 8분해외 논리학 연구 해설 읽기 →
전체 집합, 강조한 사건, 같은 분모를 연결해 조건과 범위를 확인하는 교육용 도식.

100명 그림은 왜 분모를 잊지 않게 도울까?

전체 집합, 강조한 사건, 같은 분모를 연결해 조건과 범위를 확인하는 교육용 도식.
다이어그램과 시각추론해외 학술 연구 · 연구 해설 · 일반

100명 그림은 왜 분모를 잊지 않게 도울까?

아이콘 배열 실험은 비율의 분자만 보는 분모 무시를 줄이는 데 전체 집합을 보이는 그림이 도움이 될 수 있음을 시험했습니다.

Do Icon Arrays Help Reduce Denominator Neglect?

게시 2026-09-12 · 약 9분해외 논리학 연구 해설 읽기 →
두 코딩과 두 모형의 네 조합에 임의의 추정값 -0.8, 0.2, 1.1, 1.5를 연결한 표. 실제 분석 결과가 아님을 표시한다.

분석 방법을 조금 바꾸면 연구 결론도 달라질까?

두 코딩과 두 모형의 네 조합에 임의의 추정값 -0.8, 0.2, 1.1, 1.5를 연결한 표. 실제 분석 결과가 아님을 표시한다.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

분석 방법을 조금 바꾸면 연구 결론도 달라질까?

명세 곡선 분석은 타당한 분석 선택들을 함께 드러냅니다. 결론 하나만 읽을 때 놓치기 쉬운 선택의 영향을 살펴봅니다.

Specification curve analysis

게시 2026-09-12 · 약 8분해외 논리학 연구 해설 읽기 →
HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOL Light, 공통 벤치마크, 강화학습의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

정리증명 인공지능(AI)를 시험할 ‘환경’은 왜 필요할까?

HOList는 HOL Light의 수학 말뭉치를 기계학습 환경과 벤치마크로 공개해 증명 모델을 같은 조건에서 훈련·재생·검증하도록 했습니다.

HOList: An Environment for Machine Learning of Higher-Order Theorem Proving

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

31–35 / 45편