한곳에서 찾는 논리 자료

통합검색

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

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

관심 주제로 찾아보기

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

검색 결과30건

표시정렬

증명 이야기Turing MachinesStanford Encyclopedia of Philosophy

논리의 기초와 역사해외 학술 연구 · 증명 이야기 · 심화

튜링의 정지 문제를 실제 프로그램 사례와 범용 기계, 가상 판정기 H, 대각선 구성 D, 두 갈래 모순과 1936~1937년 원논문 역사까지 단계별로 설명합니다.

Turing Machines

논문 대담Amir Pnueli, The Temporal Logic of Programs (1977)18th Annual Symposium on Foundations of Computer Science, 46–57

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

프린터에 작업을 보냈는데 대기 표시만 계속됩니다. 오류가 없다는 사실만으로 언젠가 출력된다고 말할 수 있을까요? 실행 기록에서 항상 지켜야 하는 조건과 끝내 일어나야 하는 사건을 구별하며 시간 논리를 읽습니다.

Amir Pnueli, The Temporal Logic of Programs (1977)

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

Girard의 선형논리를 통해 전제를 무한 복제 가능한 사실이 아니라 소비되는 자원으로 다루는 추론을 살펴봅니다.

Linear Logic

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

Dung의 추상 논증틀에서 공격·방어·허용가능성·근거 확장을 구분하고, 주장 내용 대신 공격 관계만으로 수용 집합을 계산합니다.

On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games

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

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

Separation Logic: A Logic for Shared Mutable Data Structures

1–5 / 30편