Beispielbild für diese ISBN
Titel: Handbook of Practical Logic and Automated ...
Verlag: Cambridge University Press
Brand New, Unread Copy in Perfect Condition. A+ Customer Service! Summary: Preface; Ideological orientation; Acknowledgements; How to read this book; 1. Introduction; 2. Propositional logic; 3. First-order logic; 4. Equality; 5. Decidable problems; 6. Interactive theorem proving; 7. Limitations; Appendix 1. Mathematical background; Appendix 2. OCaml made light of; Appendix 3. Parsing and printing of formulas; References; Index. Buchnummer des Verkäufers ABE_book_new_0521899575
Inhaltsangabe: This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. The mathematical logic foundations are described in conjunction with practical application, all with the minimum of prerequisites. The approach is constructive, concrete and algorithmic: a key feature is that methods are described with reference to actual implementations (for which code is supplied) that readers can use, modify and experiment with. This book is ideally suited for those seeking a one-stop source for the general area of automated reasoning. It can be used as a reference, or as a place to learn the fundamentals, either in conjunction with advanced courses or for self study.
Inhaltsangabe: A self-contained and broad-based account of the concepts, the machinery and the use of automated reasoning. It's ideal for those seeking a one-stop source for the subject. The approach is constructive, concrete and algorithmic: importantly, methods are described with reference to actual implementations (for which code is supplied).
Dieser Anbieter akzeptiert die folgenden Zahlungsarten:
AbeBooks Verkäufer seit: 7. Mai 2014
We guarantee the condition of every book as it's described on the AbeBooks web
sites. If you're dissatisfied with your purchase (Incorrect Book/Not as
Described/Damaged) or if the order hasn't arrived, you're eligible for a refund
within 30 days of the estimated delivery date. If you've changed your mind
about a book that you've ordered, please use the Ask bookseller a question link
to contact us and we'll respond within 2 business days.
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.