Proof and Disproof in Formal Logic by Richard Bornat
Look inside with Google Book Preview
Proof and Disproof in Formal Logic
By Richard Bornat

Proof and Disproof in Formal Logic

An Introduction for Programmers

By (author) See other recent books by Richard Bornat
Format: Paperback

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 Available to Backorder, No Due Date for Supply



Proof and Disproof in Formal Logic by Richard Bornat

Book Description

Proof 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 Details

ISBN: 9780198530275
ISBN-10: 0198530277
Format: Paperback
(240mm x 169mm x 16mm)
Pages: 264
Imprint: Oxford University Press
Publisher: Oxford University Press
Publish Date: 21-Jul-2005
Country of Publication: United Kingdom

Other Editions...


Books By Author Richard Bornat

Proof and Disproof in Formal Logic by Richard Bornat Proof and Disproof in Formal Logic, Hardback (July 2005)

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.

» View all books by Richard Bornat

Reviews

» 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!)

Write a book review


Boomerang Bucks close

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.

Recent books by Richard Bornat close
Proof and Disproof in Formal Logic by Richard Bornat
»
BoomerangBooks.com.au close