Noch Fragen? 0800 / 33 82 637

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Produktform: E-Buch Text Elektronisches Buch in proprietärem

"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 formalization 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.weiterlesen

Dieser Artikel gehört zu den folgenden Serien

Elektronisches Format: PDF

Sprache(n): Englisch

ISBN: 978-1-4757-3452-2 / 978-1475734522 / 9781475734522

Verlag: Springer US

Erscheinungsdatum: 29.06.2013

Seiten: 409

Autor(en): Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Vorwort von J.T. Schwartz

149,79 € inkl. MwSt.
Recommended Retail Price
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück