Seller
Your price
£44.95
Out of Stock

Logic for Information Technology

By (author) Antony Galton
Foreword by M.H. Rogers
Format: Hardback
Publisher: John Wiley and Sons Ltd, Chichester, United Kingdom
Imprint: John Wiley & Sons Ltd
Published: 24th Oct 1990
Dimensions: w 51mm h 72mm d 22mm
Weight: 630g
ISBN-10: 0471927775
ISBN-13: 9780471927778
Barcode No: 9780471927778
Synopsis
The value of logic techniques in circuit design has been well-known for many years, but a thorough grounding in mathematical logic is needed for all stages of software development, especially program specification, verification and program transformation. In all these stages, logic underpins the theory, bearing out the dictum that "Logic is the calculus of computer science". This book presents the subject of mathematical logic in order to provide a grounding for students in computer science. The approach utilized is to present the canonical logical theories - the propositional calculus and the first-order predicate calculus. There is a brief presentation of modal and temporal logic in the final chapter.

New & Used

Seller Information Condition Price
-New
Out of Stock

What Reviewers Are Saying

Be the first to review this item. Submit your review now