Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic)

4 avg rating
( 2 ratings by Goodreads )
 
9780198530275: Proof and Disproof in Formal Logic: An Introduction For Programmers (Oxford Texts In Logic)
View all copies of this ISBN edition:
 
 

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 shoe 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.

"synopsis" may belong to another edition of this title.

Review:

The text is written in a reasonably informal but sufficiently precise manner and, moreover, it is very lively. (EMS Newsletter)

About the Author:

Richard Bornat is at School of Computing Science, Middlesex University.

"About this title" may belong to another edition of this title.

Other Popular Editions of the Same Title

9780198530268: Proof and Disproof in Formal Logic (OXFORD TEXTS IN LOGIC)

Featured Edition

ISBN 10:  0198530269 ISBN 13:  9780198530268
Publisher: OUP Oxford, 2005
Hardcover

Top Search Results from the AbeBooks Marketplace

1.

PROOF AND DISPROOF IN FORMAL LOGIC AN INTRODUCTION FOR PROGRAMMERS (PAPERBACK) -
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Quantity Available: 1
Print on Demand
Seller:
Herb Tandree Philosophy Books
(Stroud, GLOS, United Kingdom)

Book Description 2019. Condition: NEW. 9780198530275 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Print on Demand title, produced to the highest standard, and there would be a delay in dispatch of around 10 working days. For all enquiries, please contact Herb Tandree Philosophy Books directly - customer service is our primary goal. Seller Inventory # HTANDREE01583575

More information about this seller | Contact this seller

Buy New
70
Convert currency

Add to Basket

Shipping: 8
From United Kingdom to U.S.A.
Destination, rates & speeds

2.

Richard Bornat
Published by Oxford University Press, USA (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)

Book Description Oxford University Press, USA, 2005. Paperback. Condition: New. Seller Inventory # DADAX0198530277

More information about this seller | Contact this seller

Buy New
86.60
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

3.

Richard Bornat
Published by Oxford University Press, United Kingdom (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
Book Depository hard to find
(London, United Kingdom)

Book Description Oxford University Press, United Kingdom, 2005. Paperback. Condition: New. Language: English. Brand new Book. 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 usprogramming 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. Seller Inventory # BTE9780198530275

More information about this seller | Contact this seller

Buy New
89.58
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds

4.

Bornat, Richard
Published by Oxford University Press (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
Book Deals
(Lewiston, NY, U.S.A.)

Book Description Oxford University Press, 2005. Paperback. Condition: BRAND NEW. Seller Inventory # 0198530277_abe_bn

More information about this seller | Contact this seller

Buy New
95.02
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds

5.

Richard Bornat
Published by Oxford Univ Pr (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)

Book Description Oxford Univ Pr, 2005. Paperback. Condition: Brand New. 1st edition. 264 pages. 9.25x6.50x0.75 inches. In Stock. Seller Inventory # __0198530277

More information about this seller | Contact this seller

Buy New
95.89
Convert currency

Add to Basket

Shipping: 7.50
From United Kingdom to U.S.A.
Destination, rates & speeds

6.

Richard Bornat
Published by Oxford Univ Pr (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)

Book Description Oxford Univ Pr, 2005. Paperback. Condition: Brand New. 1st edition. 264 pages. 9.25x6.50x0.75 inches. In Stock. Seller Inventory # zk0198530277

More information about this seller | Contact this seller

Buy New
111.40
Convert currency

Add to Basket

Shipping: 7.50
From United Kingdom to U.S.A.
Destination, rates & speeds

7.

Bornat, Richard
Published by Oxford University Press (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
BookVistas
(New Delhi, India)

Book Description Oxford University Press, 2005. Paperback. Condition: New. 6.6 x 9.4 cm. Seller Inventory # BD1-9780198530275

More information about this seller | Contact this seller

Buy New
207.80
Convert currency

Add to Basket

Shipping: 5.62
From India to U.S.A.
Destination, rates & speeds

8.

Bornat, Richard
Published by Oxford University Press (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
Vikram Jain Books
(New Delhi, India)

Book Description Oxford University Press, 2005. Paperback. Condition: New. Seller Inventory # BD1-9780198530275

More information about this seller | Contact this seller

Buy New
207.80
Convert currency

Add to Basket

Shipping: 5.62
From India to U.S.A.
Destination, rates & speeds

9.

Richard Bornat
Published by Oxford University Press (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
New Paperback Quantity Available: 1
Seller:
Books Express
(Portsmouth, NH, U.S.A.)

Book Description Oxford University Press, 2005. Paperback. Condition: New. 1. Ships with Tracking Number! INTERNATIONAL WORLDWIDE Shipping available. Buy with confidence, excellent customer service!. Seller Inventory # 0198530277n

More information about this seller | Contact this seller

Buy New
249.51
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds