책 이미지
eBook 미리보기
책 정보
· 제목 : Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Hardcover, 2001)
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 집합론
· ISBN : 9780387951973
· 쪽수 : 409쪽
· 출판일 : 2001-06-26
· 분류 : 외국도서 > 과학/수학/생태 > 수학 > 집합론
· ISBN : 9780387951973
· 쪽수 : 409쪽
· 출판일 : 2001-06-26
목차
Whatis 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.
