한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

읽기 난이도자료 유형조건 초기화

검색 결과71건

표시정렬

논문 대담Thomas Bolander, A Gentle Introduction to Epistemic Planning: The DEL Approach (2017)EPTCS 243 (2017), 1–22

논리의 기초와 역사해외 학술 연구 · 논문 대담 · 심화

선물이 A와 B 두 우체국 중 한 곳에 있습니다. 먼저 어디로 갈지, 확인한 뒤 어디로 갈지를 정하려면 현재 아는 사실과 모르는 사실을 함께 기록해야 합니다. 토마스 볼란데르의 연구는 정보가 바뀔 때 행동 계획도 어떻게 달라지는지 논리로 다룹니다.

Thomas Bolander, A Gentle Introduction to Epistemic Planning: The DEL Approach (2017)

연구 비교CONSORT 2010 statement: extension to cluster randomised trials해외 학술 연구

논리교육과 평가해외 학술 연구 · 연구 비교 · 일반

배정 단위·집단 크기·군집 내 상관을 바꾸어 개인 무작위와 군집 무작위 연구의 분석 범위를 비교합니다.

CONSORT 2010 statement: extension to cluster randomised trials

인공지능과 논리해외 학술 연구 · 연구 해설 · 일반

로짓과 온도를 바꾸어 확률 간격을 직접 계산하고, 양의 온도 조정이 확신 표현은 바꾸지만 같은 로짓의 1위 답은 바꾸지 않는 이유를 확인합니다.

On Calibration of Modern Neural Networks

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 입문

같은 기록 없음이 열린 세계에서는 미정, 닫힌 세계에서는 거짓이 되는 과정을 직접 바꾸며 자료 완전성 가정을 점검합니다.

On Closed World Data Bases

논리의 기초와 역사해외 학술 연구 · 연구 해설 · 심화

Kripke의 진리 이론을 통해 다른 문장에 의존하는 진리 판정이 단계적으로 안정되는 과정과 자기지시 문장의 미정 상태를 살펴봅니다.

Outline of a Theory of Truth

1–5 / 71편