한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과37건

검색 결과 제목

  1. 16변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?
  2. 17인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?
  3. 18결정을 바꾸지 못하는 정보도 더 모아야 할까?
  4. 19자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?
  5. 20내 것이 되면 같은 물건의 값이 더 커질까?
I는 입력을 전달, K는 첫 입력을 선택, S는 마지막 입력을 공유한다. 예시 결과는 별, 별, 9이다.

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

I는 입력을 전달, K는 첫 입력을 선택, S는 마지막 입력을 공유한다. 예시 결과는 별, 별, 9이다.
논리의 기초와 역사논리학 배우기 · 개념·이론 · 일반

변수 이름을 묶지 않고도 계산 규칙을 쓸 수 있을까?

결합논리는 입력을 전달·선택·공유하는 작은 연산자로 변수 묶기의 역할을 표현합니다. 괄호와 적용 순서가 계산의 핵심입니다.

Combinatory Logic

게시 2026-09-13 · 약 8분논리학 학습 글 읽기 →
시작 전제에서 세 갈래의 유효한 추론이 나오지만 목표에 닿는 가운데 경로만 선택해야 하는 탐색 트리

인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?

시작 전제에서 세 갈래의 유효한 추론이 나오지만 목표에 닿는 가운데 경로만 선택해야 하는 탐색 트리
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

인공지능(AI)가 한 단계씩 맞게 추론해도 전체 증명은 실패할 수 있을까?

PrOntoQA 분석은 개별 추론 정확성과 여러 갈래에서 목표 경로를 찾는 증명 계획을 분리합니다.

Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.

결정을 바꾸지 못하는 정보도 더 모아야 할까?

검사 결과 +, 검사 결과 −, 같은 행동으로 합류의 관계와 검토 지점을 설명하는 LTCT 교육용 도식.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 일반

결정을 바꾸지 못하는 정보도 더 모아야 할까?

Baron·Beattie·Hershey의 여섯 실험은 진단 가설과 맞는 검사 선호, 행동을 바꾸지 못하는 정보 탐색, 확신 과잉을 분리해 조사했습니다.

Heuristics and Biases in Diagnostic Reasoning: II. Congruence, Information, and Certainty

게시 2026-09-13 · 약 10분해외 논리학 연구 해설 읽기 →
참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도

자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?

참고 정리 검색에서 자연어 증명 생성으로 이어진 뒤 인간 검토와 형식 검증 부재를 구분하는 흐름도
인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

자연어 증명에 참고문헌을 붙이면 자동으로 검증된 증명이 될까?

NaturalProver는 배경 정리와 정의를 조건으로 자연어 증명 단계를 생성해 사람 평가를 개선했지만, 형식 검사기가 없는 자연어 증명은 여전히 인간 검토가 필요했습니다.

NaturalProver: Grounded Mathematical Proof Generation With Language Models

게시 2026-09-13 · 약 9분해외 논리학 연구 해설 읽기 →
같은 머그잔이 무작위 소유 표지를 받은 뒤 판매자 최소값과 구매자 최대값의 두 판단 경로로 갈라진다.

내 것이 되면 같은 물건의 값이 더 커질까?

같은 머그잔이 무작위 소유 표지를 받은 뒤 판매자 최소값과 구매자 최대값의 두 판단 경로로 갈라진다.
인간의 사고와 추론해외 학술 연구 · 연구 해설 · 심화

내 것이 되면 같은 물건의 값이 더 커질까?

무작위로 물건을 받은 판매자는 구매자보다 높은 값을 요구했고, 소유권의 기준점 효과가 반복 거래에서도 관찰됐습니다.

Experimental Tests of the Endowment Effect and the Coase Theorem

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

16–20 / 37편