Mathematical Reasoning with Diagrams (inbunden)
Fler böcker inom
Format
Inbunden (Hardback)
Språk
Engelska
Antal sidor
200
Utgivningsdatum
2001-11-01
Upplaga
illustrated ed
Förlag
Centre for the Study of Language & Information
Illustrationer
Ill.
Dimensioner
237 x 159 x 17 mm
Vikt
418 g
Antal komponenter
1
ISBN
9781575863238

Mathematical Reasoning with Diagrams

From Intuition to Automation

av Mateja Jamnik
Inbunden,  Engelska, 2001-11-01
829
Köp
Spara som favorit
  • Specialorder (osäker tillgång). Skickas från oss inom 11-20 vardagar.
  • Fri frakt över 249 kr för privatkunder i Sverige.
Finns även som
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 system - called Diamond - which allows users to prove arithmetical theorems using diagrams.
Visa hela texten

Passar bra ihop

  1. Mathematical Reasoning with Diagrams
  2. +
  3. The Tech Coup

De som köpt den här boken har ofta också köpt The Tech Coup av Marietje Schaake (inbunden).

Köp båda 2 för 1131 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...

    722
    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