한곳에서 찾는 논리 자료

통합검색

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

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

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

관심 주제로 찾아보기

조건 초기화

검색 결과78건

검색 결과 제목

  1. 6‘이제 와서 사과라니, 정말 대단했다’는 누구의 평가일까?
  2. 7한 번 쓴 전제를 마음대로 다시 써도 될까?
  3. 8새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?
  4. 9확률을 솔직하게 말하게 하는 채점 규칙이 있을까?
  5. 10프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?
새라는 사실에서 잠정 비행 결론으로 가다가 펭귄과 부상 예외가 결론을 막는 흐름도.

새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?

새라는 사실에서 잠정 비행 결론으로 가다가 펭귄과 부상 예외가 결론을 막는 흐름도.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

새로운 예외가 들어오면 결론을 거둘 수 있는 논리가 필요할까?

Reiter의 기본 논리를 바탕으로, 정보가 부족할 때 내린 잠정 결론을 예외 정보가 들어오면 철회하는 비단조 추론을 살펴봅니다.

A Logic for Default Reasoning

게시 2026-09-25 · 약 11분해외 논리학 연구 해설 읽기 →
실제 사건율 70퍼센트에서 보고 확률 70퍼센트 지점의 기대 손실이 최소가 되는 U자형 개념 그래프.

확률을 솔직하게 말하게 하는 채점 규칙이 있을까?

실제 사건율 70퍼센트에서 보고 확률 70퍼센트 지점의 기대 손실이 최소가 되는 U자형 개념 그래프.
증거·확률·인과관계해외 학술 연구 · 연구 해설 · 심화

확률을 솔직하게 말하게 하는 채점 규칙이 있을까?

적절 점수규칙이 왜 예측자의 진짜 믿음을 보고하도록 유도하는지 살피고, Brier 손실과 로그 손실을 직접 계산해 봅니다.

Strictly Proper Scoring Rules, Prediction, and Estimation

게시 2026-09-23 · 약 10분해외 논리학 연구 해설 읽기 →
전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

전체 힙 안에 P가 소유한 x 셀, Q가 소유한 y 셀, 명령이 건드리지 않는 z 프레임을 서로 분리해 놓은 도식.
논리의 기초와 역사해외 학술 연구 · 연구 해설 · 일반

프로그램의 작은 부분만 증명하고도 전체를 믿을 수 있을까?

Reynolds의 분리논리 해설을 따라 분리곱과 프레임 규칙이 서로 겹치지 않는 힙 영역에 대한 국소 추론을 어떻게 가능하게 하는지 살핍니다.

Separation Logic: A Logic for Shared Mutable Data Structures

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

6–10 / 78편