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

## Richard Bornat

Valutazione media 4
( su 2 valutazioni fornite da Goodreads )

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.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

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

Review:

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

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Compra nuovo Guarda l'articolo
EUR 93,00

Spese di spedizione: EUR 3,44
In U.S.A.

Destinazione, tempi e costi

Aggiungere al carrello

## 1.Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Editore: Oxford University Press (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuovi Quantità: 1
Da
Nearfine Books
(Brooklyn, NY, U.S.A.)
Valutazione libreria

Descrizione libro Oxford University Press, 2005. Condizione libro: new. Shiny and new! Expect delivery in 2-3 weeks. Codice libro della libreria 9780198530275-1

Compra nuovo
EUR 93,00
Convertire valuta
Spese di spedizione: EUR 3,44
In U.S.A.
Destinazione, tempi e costi

## 2.Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Editore: Oxford University Press, USA (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria

Descrizione libro Oxford University Press, USA, 2005. Paperback. Condizione libro: New. Codice libro della libreria DADAX0198530277

Compra nuovo
EUR 102,52
Convertire valuta
Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi

## 3.Proof And Disproof in Formal Logic: An Introduction for Programmers

Editore: Oxford Univ Pr (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuovi Paperback Quantità: 1
Da
Revaluation Books
(Exeter, Regno Unito)
Valutazione libreria

Descrizione libro Oxford Univ Pr, 2005. Paperback. Condizione libro: Brand New. 1st edition. 264 pages. 9.25x6.50x0.75 inches. In Stock. Codice libro della libreria zk0198530277

Compra nuovo
EUR 100,91
Convertire valuta
Spese di spedizione: EUR 6,69
Da: Regno Unito a: U.S.A.
Destinazione, tempi e costi

## 4.Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Editore: Oxford University Press (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuovi Paperback Quantità: 1
Da
Irish Booksellers
(Rumford, ME, U.S.A.)
Valutazione libreria

Descrizione libro Oxford University Press, 2005. Paperback. Condizione libro: New. book. Codice libro della libreria 0198530277

Compra nuovo
EUR 109,17
Convertire valuta
Spese di spedizione: GRATIS
In U.S.A.
Destinazione, tempi e costi

## 5.Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Editore: Oxford University Press (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuovi Paperback Quantità: 2
Da
Murray Media
(North Miami Beach, FL, U.S.A.)
Valutazione libreria

Descrizione libro Oxford University Press, 2005. Paperback. Condizione libro: New. Codice libro della libreria P110198530277

Compra nuovo
EUR 119,54
Convertire valuta
Spese di spedizione: EUR 2,57
In U.S.A.
Destinazione, tempi e costi

## 6.Proof and Disproof in Formal Logic: An Introduction for Programmers (Oxford Texts in Logic)

Editore: Oxford University Press, USA (2005)
ISBN 10: 0198530277 ISBN 13: 9780198530275
Nuovi Paperback Quantità: 1
Da
Ergodebooks
(RICHMOND, TX, U.S.A.)
Valutazione libreria

Descrizione libro Oxford University Press, USA, 2005. Paperback. Condizione libro: New. Codice libro della libreria SONG0198530277

Compra nuovo
EUR 177,80
Convertire valuta
Spese di spedizione: EUR 3,43
In U.S.A.
Destinazione, tempi e costi