Stock image for illustration purposes only - book cover, edition or condition may vary.
Set Theory for Computing
Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
€ 188.62
FREE Delivery in Ireland
Description for Set Theory for Computing
Hardback. Presents an account of set-oriented symbolic manipulation and automated reasoning methods. Series: Monographs in Computer Science. Num Pages: 427 pages, 1 black & white illustrations, biography. BIC Classification: UMX; UYA. Category: (P) Professional & Vocational; (UP) Postgraduate, Research & Scholarly. Dimension: 234 x 156 x 23. Weight in Grams: 851.
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic methods and deductive techniques in this book offer readers a clear view of the use of set-theoretic notions in such critical areas as specification of problems, data types, and solution methods; algorithmic program verification; and automated deduction.
The rigorous and largely self-contained style of presentation addresses readers wanting to complement their set intuition with the ability to ... Read more
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorithmic methods and deductive techniques in this book offer readers a clear view of the use of set-theoretic notions in such critical areas as specification of problems, data types, and solution methods; algorithmic program verification; and automated deduction.
The rigorous and largely self-contained style of presentation addresses readers wanting to complement their set intuition with the ability to ... Read more
Product Details
Format
Hardback
Publication date
2001
Publisher
Springer-Verlag New York Inc. United States
Number of pages
427
Condition
New
Series
Monographs in Computer Science
Number of Pages
409
Place of Publication
New York, NY, United States
ISBN
9780387951973
SKU
V9780387951973
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Set Theory for Computing
From the reviews: "The book is an up-to-date and well-organized collection of techniques and results concerning the problem of dealing with sets in computer science. … In particular, the book can be very interesting for postgraduate students and researchers in computer science and logic. … The book is largely self-contained and the style of presentation ... Read more