Domenico Cantone, Eugenio Omodeo, Alberto Policriti

eBook, PDF

Set Theory for Computing (eBook, PDF)

From Decision Procedures to Declarative Programming with Sets

Beschreibung

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

Technische Details

• Geräte: PC
• ohne Kopierschutz
• Größe: 35.45MB

Barrierefreiheit

• Text-to-Speech

Produktdetails

• Verlag: Springer US
• Seitenzahl: 409
• Erscheinungstermin: 29. Juni 2013
• Englisch
• ISBN-13: 9781475734522
• Artikelnr.: 44178901

Rezensionen

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 is extremely rigorous and accurate. ... this will become a sort of classic work for automated deduction and declarative programming and surely it deserves to find a place in all scientific libraries." (A. Dovier, Theory and Practise of Logic Programming, Vol. 3 (1), 2003)

"Set theory has played the role of a lingua franca for modern mathematics. The authors of this monograph intend to extend this service to computer science, artificial intelligence, and computational mathematics. ... Several variants of ZF, which are meant for different applications, are surveyed and concrete, computable models areinvestigated. ... There is an extensive list of references, an index of symbols and an index of terms." (J.M. Plotkin, Zentralblatt MATH, Vol. 981, 2002)