Free Shipping In the UK
Currency:
GBP £ GBP
Proof and Disproof in Formal Logic By Richard Bornat (School of Computing Science, Middlesex University)

Proof and Disproof in Formal Logic
by Richard Bornat (School of Computing Science, Middlesex University)

In Stock
£41.99
Introducing formal logic, this book provides insight into how a simple logic works. It concentrates on using logic as a tool, and is divided in to four parts. Aimed at undergraduates and graduates in computer science, logic, mathematics, and philosophy, this text includes reference to and exercises based on the computer software package Jape.
Only 1 left

Proof and Disproof in Formal Logic Summary


Proof and Disproof in Formal Logic: An Introduction for programmers by Richard Bornat (School of Computing Science, Middlesex University)

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.

Why buy from World of Books

Our excellent value books literally don't cost the earth
Free delivery in the UK
Read more here
Every used book bought is one saved from landfill

Proof and Disproof in Formal Logic Reviews


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

Table of Contents


PART I BASICS; PART II FORMAL PROOF; PART III DISPROOF; PART IV PROOF OF PROGRAMS

Additional information

GOR010293586
Proof and Disproof in Formal Logic: An Introduction for programmers by Richard Bornat (School of Computing Science, Middlesex University)
Richard Bornat (School of Computing Science, Middlesex University)
OXFORD TEXTS IN LOGIC
Used - Very Good
Paperback
Oxford University Press
2005-07-21
264
0198530277
9780198530275
N/A
Book picture is for illustrative purposes only, actual binding, cover or edition may vary.
This is a used book - there is no escaping the fact it has been read by someone else and it will show signs of wear and previous use. Overall we expect it to be in very good condition, but if you are not entirely satisfied please get in touch with us.