Mathematical Reasoning with Diagrams (inbunden)
Fler böcker inom
Format
Häftad (Paperback / softback)
Språk
Engelska
Antal sidor
200
Utgivningsdatum
2001-11-01
Upplaga
illustrated ed
Förlag
Centre for the Study of Language & Information
Illustrationer
Illustrations
Dimensioner
229 x 154 x 12 mm
Vikt
309 g
Antal komponenter
1
ISBN
9781575863245

Mathematical Reasoning with Diagrams

From Intuition to Automation

av Mateja Jamnik
Häftad,  Engelska, 2001-11-01
241
Köp
Spara som favorit
  • Skickas från oss inom 5-8 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
  • Inbunden
    Skickas inom 11-20 vardagar (specialorder)
    829
Visa alla 1 format & utgåvor
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 systemcalled Diamondwhich allows users to prove arithmetical theorems using diagrams.
Visa hela texten

Passar bra ihop

  1. Mathematical Reasoning with Diagrams
  2. +
  3. The Anxious Generation

De som köpt den här boken har ofta också köpt The Anxious Generation av Jonathan Haidt (häftad).

Köp båda 2 för 370 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Fler böcker av Mateja Jamnik

  • Diagrammatic Representation and Inference

    Diagrammatic Representation and Inference

    Mateja Jamnik, Yuri Uesaka, Stephanie Elzer Schwartz

    This book constitutes the refereed proceedings of the 9th InternationalConference on the Theory and Application of Diagrams, Diagrams 2016,held in Philadelphia, PA, USA, in August 2016. The 12 revised full papers and 11 short papers presented toge...

    727
    Köp
    Skickas inom vardagar.

Övrig information

Mateja Jamnik is a research fellow in the School of Computer Science at the University of Birmingham.

Du kanske gillar