The Deductive Foundations of Computer Programming: A One-Volume Version of "the Logical Basis for Computer Programming"

Waldinger, Richard,Manna, Zohar

ISBN 10: 0201548860 ISBN 13: 9780201548860
Published by Addison-Wesley Professional, 1993
Used Hardcover

From HPB-Red, Dallas, TX, U.S.A. Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

AbeBooks Seller since March 11, 2019

This specific item is no longer available.

About this Item

Description:

Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_316347081

Report this item

Synopsis:

Logic plays a fundamental role in computer science analogous to that played by calculus in physics and traditional engineering. In software engineering, systems with the ability to perform logical deduction are being applied to the synthesis, verification and transformation of computer programs. In artificial intelligence, such systems are applied to the understanding of natural language and the formation of commonsense and robotic plans. Expert systems, deductive databases, and logic-programming systems may be regarded as rudimentary applications of this new deductive technology. This book provides a carefully paced introduction to the logical underpinnings of these applications. Exceptionally clear and laced with examples, this book requires no prior knowledge of logic or programming. It interleaves a basic treatment of logic with a discussion of its application in automated deduction. This work provides most readable introduction to the logical concepts and techniques underlying computer programming.

From the Back Cover:

Logic plays a fundamental role in computer science analogous to that played by calculus in physics and traditional engineering. In software engineering, systems with the ability to perform logical deduction are being applied to the synthesis, verification and transformation of computer programs. In artificial intelligence, such systems are applied to the understanding of natural language and the formation of commonsense and robotic plans. Expert systems, deductive databases, and logic-programming systems may be regarded as rudimentary applications of this new deductive technology.

This book provides a carefully paced introduction to the logical underpinnings of these applications. Exceptionally clear and laced with examples, this book requires no prior knowledge of logic or programming. It interleaves a basic treatment of logic with a discussion of its application in automated deduction. This work provides most readable introduction to the logical concepts and techniques underlying computer programming.



0201548860B04062001

"About this title" may belong to another edition of this title.

Bibliographic Details

Title: The Deductive Foundations of Computer ...
Publisher: Addison-Wesley Professional
Publication Date: 1993
Binding: Hardcover
Condition: Good

Top Search Results from the AbeBooks Marketplace

Stock Image

Manna, Zohar; Waldinger, Richard
Published by Addison-Wesley Professional, 1993
ISBN 10: 0201548860 ISBN 13: 9780201548860
Used PAPERBACK

Seller: Paisleyhaze Books, New Hartford, CT, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

PAPERBACK. Condition: Fine. 0201548860 Addison Wesley pictorial hardcover, 2001, unused and carefully stored, No remainder marks or other defects (as New); We will bubble-wrap the book and ship it in a BOX with free delivery confirmation/tracking. Seller Inventory # TEC1286

Contact seller

Buy Used

US$ 24.95
Convert currency
Shipping: US$ 6.00
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Waldinger, Richard, Manna, Zohar
Published by Pearson Education, Limited, 1993
ISBN 10: 0201548860 ISBN 13: 9780201548860
Used Hardcover

Seller: Better World Books, Mishawaka, IN, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Good. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP11305399

Contact seller

Buy Used

US$ 30.94
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Zohar Manna, Richard Waldinger
Published by ADDISON WESLEY PUB CO INC, 1993
ISBN 10: 0201548860 ISBN 13: 9780201548860
Used Softcover

Seller: Buchpark, Trebbin, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: Sehr gut. Zustand: Sehr gut | Seiten: 736 | Sprache: Englisch | Produktart: Bücher. Seller Inventory # 1270506/202

Contact seller

Buy Used

US$ 65.42
Convert currency
Shipping: US$ 51.26
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket