책 이미지
eBook 미리보기
책 정보
· 제목 : Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Paperback, Softcover Repri)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 집합론
· ISBN : 9781441929051
· 쪽수 : 409쪽
· 출판일 : 2011-09-21
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 집합론
· ISBN : 9781441929051
· 쪽수 : 409쪽
· 출판일 : 2011-09-21
목차
What is Computable Set Theory? Logical Background Axiomatic Views of Aggregates Semantic Views of Aggregates Sets for Problem Solving Decision Problems and Some Solutions Inference Techniques and Methods Set/Hyperset Unification Algorithms A Syllogistic Solitaire Stratified Syllogistics Quantitative Set Reasoning Set Theory for Non-Classical Logics Logic Programming With Sets Syllogistic Tableaux
