Items related to Proof and Disproof in Formal Logic: An Introduction...

Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic) - Hardcover

 
9780198530268: Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Synopsis

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.

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

9780198530275: Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Featured Edition

ISBN 10:  0198530277 ISBN 13:  9780198530275
Publisher: Oxford University Press, 2005
Softcover

Search results for Proof and Disproof in Formal Logic: An Introduction...

Stock Image

Bornat, Richard
Published by Oxford University Press, 2005
ISBN 10: 0198530269 ISBN 13: 9780198530268
New Hardcover
Print on Demand

Seller: Brook Bookstore On Demand, Napoli, NA, Italy

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: new. Questo è un articolo print on demand. Seller Inventory # be91f43439883cd1a645a030f576ce4d

Contact seller

Buy New

US$ 111.90
Convert currency
Shipping: US$ 7.97
From Italy to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Richard Bornat
Published by Oxford University Press, 2005
ISBN 10: 0198530269 ISBN 13: 9780198530268
New Hardcover

Seller: THE SAINT BOOKSTORE, Southport, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Hardback. Condition: New. New copy - Usually dispatched within 4 working days. 635. Seller Inventory # B9780198530268

Contact seller

Buy New

US$ 145.84
Convert currency
Shipping: US$ 17.69
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 15 available

Add to basket

Seller Image

Bornat, Richard
Published by OUP Oxford, 2005
ISBN 10: 0198530269 ISBN 13: 9780198530268
New Hardcover
Print on Demand

Seller: moluna, Greven, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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.Klappentextrnr. Seller Inventory # 594409844

Contact seller

Buy New

US$ 136.73
Convert currency
Shipping: US$ 57.42
From Germany to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket