Logic for Information Technology Book + PRICE WATCH * Amazon pricing is not included in price watch

Logic for Information Technology Book

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.Read More

from£26.93 | RRP: £19.95
* Excludes Voucher Code Discount Also available Used from £6.79
  • 0471929336
  • 9780471929338
  • A GALTON
  • 24 October 1990
  • John Wiley & Sons
  • Paperback (Book)
  • 304
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.