Inbunden, Engelska, 2001
Mathematical Reasoning with Diagrams
559 kr
Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
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.
Produktinformation
- Utgivningsdatum: 2001-11-01
- Mått: 15 x 23 x 2 mm
- Vikt: 425 g
- Format: Inbunden
- Språk: Engelska
- Serie: Lecture Notes
- Antal sidor: 200
- Förlag: Centre for the Study of Language & Information
- ISBN: 9781575863238
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.