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 ...
Read More
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 Less
Add this copy of Logic for Information Technology to cart. $19.45, poor condition, Sold by Anybook rated 5.0 out of 5 stars, ships from Lincoln, UNITED KINGDOM, published 1990 by John Wiley and Sons.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
This is an ex-library book and may have the usual library/used-book markings inside. This book has soft covers. In poor condition, suitable as a reading copy. Please note the Image in this listing is a stock photo and may not match the covers of the actual item, 600grams, ISBN: 9780471929338.
Add this copy of Logic for Information Technology to cart. $24.20, very good condition, Sold by Monarchy Books rated 4.0 out of 5 stars, ships from Toronto, ON, CANADA, published 1990 by John Wiley & Sons Ltd.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Very Good. Size: 9x6x0; 290 pages with the index. textbook binding. An introduction to formal logic for students of computer-science, artificial intelligence, other information technology subjects and can be used by students of philosophy or mathematics. based on your address. -We can ship from USA and Canada. Specializing in academic, collectible and historically significant, providing the utmost quality and customer service satisfaction. For any questions feel free to email us.
Add this copy of Logic for Information Technology to cart. $25.50, good condition, Sold by True Oak Books rated 5.0 out of 5 stars, ships from Highland, NY, UNITED STATES, published 1990 by Wiley.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
Good+ with no dust jacket. Foxing to exterior edge of pages. -Great overall condition. Minor cosmetic wear. No noteworthy blemishes. No writing.; -We're committed to your satisfaction. We offer free returns and respond promptly to all inquiries. Your item will be carefully wrapped in bubble wrap and securely boxed. All orders ship on the same or next business day. Buy with confidence.
Add this copy of Logic for Information Technology to cart. $50.00, very good condition, Sold by Bingo Used Books rated 4.0 out of 5 stars, ships from Vancouver, WA, UNITED STATES, published 1990 by Somerset, New Jersey, U.S.A. : John Wiley & Sons Inc.
Add this copy of Logic for Information Technology to cart. $55.33, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1990 by Wiley.
