Mathematical Reasoning with Diagrams

Name: Mathematical Reasoning with Diagrams
Brand: University of Chicago Press
SKU: 9781575863238
Price: 312.26 PLN
Availability: InStock

Autor: Mateja Jamnik

Język:

Oprawa: Twarda

Wydawca: University of Chicago Press

Dostępność: Dostępna u dostawcy w małych ilościach

Wysyłamy za 13-18 dni

312.26 zł

Mathematicians at every level use diagrams to prove theorems. "Mathematical Reasoning with Diagrams"...

Informacje o książce

Autor

Mateja Jamnik

Język

Angielski

Oprawa

Książka - Twarda

Data wydania

2002

strony

200

EAN

9781575863238

Enbook ID

04821096

Wydawca

University of Chicago Press

Waga

412

Wymiary

180 x 236 x 17

Pełny opis

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.

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Najczęściej wyszukiwane

Categories

Authors

Publishers

Produkty

Produkty

Mathematical Reasoning with Diagrams

Informacje o książce

Pełny opis

Możesz być zainteresowany

Klienci, którzy kupili tę książkę, kupili również