Proof and Disproof in Formal Logic
An Introduction for Programmers
By (author) Richard Bornat
Normal Price: $111.95
Your Price: $100.76 AUD, inc. GST
Shipping: $7.95 per order
You Save: $11.19! (10% off normal price)
Plus...earn $5.04 in Boomerang Bucks
Availability: Available to Backorder, No Due Date for Supply
Proof and Disproof in Formal Logic by Richard Bornat
Book DescriptionProof and Disproof in Formal Logic is a lively and entertaining introduction to formal logic providing an excellent insight into how a simple logic works. Formal logic allows you to check a logical claim without considering what the claim means. This highly abstracted idea is an essential and practical part of computer science. The idea of a formal system-a collection of rules and axioms which define a universe of logical proofs-is what gives us programming languages and modern-day programming. This book concentrates on using logic as a tool: making and using formal proofs and disproofs of particular logical claims. The logic it uses-natural deduction-is very small and very simple; working with it helps you see how large mathematical universes can be built on small foundations. The book is divided into four parts: * Part I "Basics" gives an introduction to formal logic with a short history of logic and explanations of some technical words. * Part II "Formal syntactic proof" show you how to do calculations in a formal system where you are guided by shapes and never need to think about meaning. Your experiments are aided by Jape, which can operate as both inquisitor and oracle. * Part III "Formal semantic disproof" shows you how to construct mathematical counterexamples to show that proof is impossible. Jape can check the counterexamples you build. * Part IV "Program specification and proof" describes how to apply your logical understanding to a real computer science problem, the accurate description and verification of programs. Jape helps, as far as arithmetic allows. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, the text includes reference to and exercises based on the computer software package Jape, an interactive teaching and research tool designed and hosted by the author that is freely available on the web.
Buy Proof and Disproof in Formal Logic book by Richard Bornat from Australia's Online Bookstore, Boomerang Books.
Book DetailsISBN: 9780198530275
(240mm x 169mm x 16mm)
Imprint: Oxford University Press
Publisher: Oxford University Press
Publish Date: 21-Jul-2005
Country of Publication: United Kingdom
Books By Author Richard Bornat
Proof and Disproof in Formal Logic, Hardback (July 2005)» View all books by Richard Bornat
Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text is a lively and entertaining introduction to formal logic and provides an excellent insight into how a simple logic works.
» Have you read this book? We'd like to know what you think about it - write a review about Proof and Disproof in Formal Logic book by Richard Bornat and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)
Bestselling Books: Our Current Bestsellers | Australia's Hottest 1000 Books | Bestselling Fiction | Bestselling Crime Mysteries and Thrillers | Bestselling Non Fiction Books | Bestselling Sport Books | Bestselling Gardening and Handicrafts Books | Bestselling Biographies | Bestselling Food and Drink | Bestselling History | Bestselling Travel Books | Bestselling School Textbooks & Study Guides | Bestselling Children's General Non-Fiction | Bestselling Young Adult Fiction | Bestselling Children's Fiction | Bestselling Picture Books | Top 100 US Bestsellers
Phone: 1300 36 33 32 (9am-5pm Mon-Fri AEST) - International: +61 2 9960 7998 - Online Form
Address: Boomerang Books, 878 Military Road, Mosman Junction, NSW, 2088
© 2003-2016. All Rights Reserved. Eclipse Commerce Pty Ltd - ACN: 122 110 687 - ABN: 49 122 110 687
For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.