Synopsis
The Essence of Logic is an exciting new publication that provides a concise introduction to formal logic. Making little demands on previous mathematical knowledge, this comprehensive text prepares the reader for the analysis and application of logic techniques in computing. It can also be used for the study of mathematical logic in its own right. Extensive in its coverage, each new concept is gently introduced, and then reinforced by numerous exercises and examples. This practical approach quickly develops skills needed to apply logic in a wide range of computer science disciplines.
"synopsis" may belong to another edition of this title.
About the Author
Dr John Kelly was Senior Lecturer in Computer Science at University College, Dublin.
From the Back Cover
A gentle introduction to logic for undergraduate computing students.Beginning with Truth Tables, the reader is introduced to the concepts of Boolean Algebra, logical propositions and truth values. Propositional Logic is explored through using Semantic Tableaux, Natural Deduction and the Sequent Calculus. More formal axiomatic systems are examined and illustrated, and important theorems about these systems are presented. Properties of soundness, completeness and consistency are explained in terms of Propositional Systems; then concepts of resolution are introduced, with an eye towards their use in programming. The book then turns to First Order Predicate Logic, its theoretical underpinnings and uses.Undergraduate computer science and logic courses.
"About this title" may belong to another edition of this title.
Search results for The Essence of Logic
Seller Image
The Essence of Logic (Essence of Computing)
Seller: WeBuyBooks, Rossendale, LANCS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. Most items will be dispatched the same or the next working day. A copy that has been read, but is in excellent condition. Pages are intact and not marred by notes or highlighting. The spine remains undamaged. Seller Inventory # wbs7329318806
Buy Used
US$ 1.83
Shipping:
US$ 7.57
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Essence of Logic (Essence of Computing)
Seller: AwesomeBooks, Wallingford, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. The Essence of Logic (Essence of Computing) This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 7719-9780133963755
Buy Used
US$ 4.54
Shipping:
US$ 6.51
From United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
The Essence of Logic (Prentice-Hall Essence of Computing)
Seller: Bahamut Media, Reading, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Very Good. This book is in very good condition and will be shipped within 24 hours of ordering. The cover may have some limited signs of wear but the pages are clean, intact and the spine remains undamaged. This book has clearly been well maintained and looked after thus far. Money back guarantee if you are not satisfied. See all our books here, order more than 1 book and get discounted shipping. Seller Inventory # 6545-9780133963755
Buy Used
US$ 4.52
Shipping:
US$ 9.11
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Essence of Logic
Seller: Phatpocket Limited, Waltham Abbey, HERTS, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. Your purchase helps support Sri Lankan Children's Charity 'The Rainbow Centre'. Ex-library, so some stamps and wear, but in good overall condition. Our donations to The Rainbow Centre have helped provide an education and a safe haven to hundreds of children who live in appalling conditions. Seller Inventory # Z1-B-017-02193
Buy Used
US$ 1.34
Shipping:
US$ 13.89
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Essence of Logic
Published by
Prentice Hall PTR, 1996
ISBN 10: 0133963756
ISBN 13: 9780133963755
Used
Softcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Very Good. 1st. Ships from the UK. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # GRP26656255
Buy Used
US$ 5.98
Shipping:
US$ 10.44
From United Kingdom to U.S.A.
Quantity: 2 available
Stock Image
Essence of Logic
Published by
Prentice Hall PTR, 1996
ISBN 10: 0133963756
ISBN 13: 9780133963755
Used
Softcover
First Edition
Seller: Better World Books Ltd, Dunfermline, United Kingdom
Seller rating 5 out of 5 stars
Condition: Good. 1st. Ships from the UK. Used book that is in clean, average condition without any missing pages. Seller Inventory # 17141597-20
Buy Used
US$ 5.98
Shipping:
US$ 10.44
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Essence of Logic (Essence of Computing)
Seller: WorldofBooks, Goring-By-Sea, WS, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Fair. A readable copy of the book which may include some defects such as highlighting and notes. Cover and pages may be creased and show discolouration. Seller Inventory # GOR007493273
Buy Used
US$ 13.50
Shipping:
US$ 7.31
From United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
The Essence of Logic
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. 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_409242649
Stock Image
The Essence of Logic
Seller: Once Upon A Time Books, Siloam Springs, AR, U.S.A.
Seller rating 4 out of 5 stars
paperback. Condition: Good. This is a used book in good condition and may show some signs of use or wear . This is a used book in good condition and may show some signs of use or wear . Seller Inventory # mon0003316710
Stock Image
The Essence Of Logic.
Published by
Prentice Hall, New York, NY, 1997
ISBN 10: 0133963756
ISBN 13: 9780133963755
Used
Paperback
First Edition
Seller: Black Cat Hill Books, Oregon City, OR, U.S.A.
Seller rating 5 out of 5 stars
Paperback. First Edition Thus (1997); so stated. First Printing indicated by a complete numerical sequence. Very Good+ in Wraps: shows indications of very careful use: just a faint wrinkle at the bottom of the front panel and another at the top of same; else the very mildest wear to the extremities; very mild rubbing to the panels; the binding square and secure; the text is clean.Free of creases to the backstrip. Free of creased or dog-eared pages in the text. Free of any underlining, hi-lighting or marginalia or marks in the text. Free of ownership names, dates, addresses, notations, inscriptions, stamps, or labels. A handsome copy, structurally sound and tightly bound, showing the very mildest wear and minor cosmetic imperfections. Bright and clean. Close to 'As New'. NOT a Remainder, Book-Club, or Ex-Library. 8vo. (9.2 x 6.15 x 0.5 inches). 258 pages. Language: English. Weight: 12.5 ounces. The Essence of Computing Series. Textbook Paperback. First Edition Thus (1997); so stated. First Printing indicated by a complete numerical sequence. Seller Inventory # 55066