Articoli correlati a On the Shape of Mathematical Arguments

On the Shape of Mathematical Arguments - Brossura

 
9783662182116: On the Shape of Mathematical Arguments

Al momento non sono disponibili copie per questo codice ISBN.

Sinossi

A termination argument.- A problem on bichrome 6-graphs.- Proving the existence of the Euler line.- In adherence to symmetry.- On a proof by Arbib, Kfoury, and Moll.- Not about open and closed sets.- A monotonicity argument.- On the inverse of a function.- A calculational proof of Helly's theorem on convex figures.- The formal derivation of a proof of the invariance theorem.- Proving theorems with Euclid's algorithm.- On the deisng of an in-situ permutation algorithm.- Shiloach's algorithm.- Clarity of exposition.- On naming.- On the ue of formalism.- Epilogue.- Proof rules for guarded-command programs.- Notational conventions.

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

(nessuna copia disponibile)

Cerca:



Inserisci un desiderata

Non riesci a trovare il libro che stai cercando? Continueremo a cercarlo per te. Se uno dei nostri librai lo aggiunge ad AbeBooks, ti invieremo una notifica!

Inserisci un desiderata

Altre edizioni note dello stesso titolo

9783540528494: On the Shape of Mathematical Arguments: 445

Edizione in evidenza

ISBN 10:  3540528490 ISBN 13:  9783540528494
Casa editrice: Springer, 2008
Brossura