Visit our Christmas Gift Finder
Mathematical Reasoning with Diagrams - Center for the Study of Language and Information Publication Lecture Notes (Hardback)
  • Mathematical Reasoning with Diagrams - Center for the Study of Language and Information Publication Lecture Notes (Hardback)
zoom

Mathematical Reasoning with Diagrams - Center for the Study of Language and Information Publication Lecture Notes (Hardback)

(author)
£49.00
Hardback 200 Pages / Published: 04/02/2002
  • We can order this

Usually dispatched within 4-6 weeks

  • This item has been added to your basket
Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams" investigates the possibilities of mechanizing this sort of diagrammatic reasoning in a formal computer proof system, even offering a semi-automatic formal proof system - called Diamond - which allows users to prove arithmetical theorems using diagrams.

Publisher: Centre for the Study of Language & Information
ISBN: 9781575863238
Number of pages: 200
Weight: 412 g
Dimensions: 236 x 180 x 17 mm

You may also be interested in...

How to Prove It
Added to basket
Godel's Proof
Added to basket
£10.99
Paperback
Equation That Couldn't be Solved
Added to basket
Numbers, Sequences and Series
Added to basket
The Foundations of Mathematics
Added to basket
Active Arithmetic!
Added to basket
Logic
Added to basket
£10.99
Paperback
Logic For Dummies
Added to basket
£13.99
Paperback
Measurements and their Uncertainties
Added to basket
Proof Theory
Added to basket
£17.99
Paperback
Introducing Infinity
Added to basket

Please sign in to write a review

Your review has been submitted successfully.