Set theory for computing : from decision procedures to declarative programming with sets

＜図書＞
Set theory for computing : from decision procedures to declarative programming with sets

責任表示	Domenico Cantone, Eugenio Omodeo, Alberto Policriti ; foreword by Jacob T. Schwartz
シリーズ	Monographs in computer science
データ種別	図書
出版情報	New York : Springer Verlag , c2001
本文言語	英語
大きさ	xviii, 409 p. : ill. ; 24 cm
概要	"Set Theory for Computing" provides a comprehensive account of set-oriented symbolic manipulation methods suitable for automated reasoning. Its main objective is twofold: 1) to provide a flexible for...alization for a variety of set languages, and 2) to clarify the semantics of set constructs firmly established in modern specification languages and in the programming practice. Topics include: semantic unification, decision algorithms, modal logics, declarative programming, tableau-based proof techniques, and theory-based theorem proving. The style of presentation is self-contained, rigorous and accurate. Some familiarity with symbolic logic is helpful but not a requirement.This book is a useful resource for all advanced students, professionals, and researchers in computing sciences, artificial intelligence, automated reasoning, logic, and computational mathematics. It will serve to complement their intuitive understanding of set concepts with the ability to master them by symbolic and logically based algorithmic methods and deductive techniques. 続きを見る

状態	巻次	所蔵場所	請求記号	刷年	文庫名称	資料番号	コメント	予約・取寄	複写申込	自動書庫
		理系図3F 数理独自	CANT/17/1	2001		023212001004174		予約・取寄			予約・取寄

一般注記	Includes bibliographical references and index
著者標目	*Cantone, Domenico Omodeo, Eugenio Policriti, Alberto Schwartz, Jacob T.
件　名	LCSH:Set theory LCSH:Computable functions
分　類	DC21:511.3/22 LCC:QA248
書誌ID	1001391338
ISBN	0387951970
NCID	BA53174047
巻冊次	ISBN:0387951970
登録日	2009.11.02
更新日	2009.11.02