0 Mėgstami
0Krepšelis

Mathematical Reasoning with Diagrams: Volume 127

Šiuo metu neparduodama

Knygos aprašymas

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.

Informacija

Autorius: Mateja Jamnik
Leidėjas: Center for the Study of Language and Inf
Išleidimo metai: 2001
Knygos puslapių skaičius: 200
ISBN-13: 9781575863238
Formatas: 6 x 0.7 x 9 inches. Knyga kietu viršeliu
Kalba: Anglų

Pirkėjų atsiliepimai

Parašykite atsiliepimą apie „Mathematical Reasoning with Diagrams: Volume 127“

Būtina įvertinti prekę

Goodreads reviews for „Mathematical Reasoning with Diagrams: Volume 127“