Häftad, Engelska, 2001
Mathematical Reasoning with Diagrams
Del i serien Lecture Notes
235 kr
Beställningsvara. Skickas inom 7-10 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 1 mm
- Vikt: 312 g
- Format: Häftad
- Språk: Engelska
- Serie: Lecture Notes
- Antal sidor: 200
- Förlag: Centre for the Study of Language & Information
- ISBN: 9781575863245
Utforska kategorier
Betyg & recensioner
0 recensioner
Inga recensioner tillgängliga.