On the shape of mathematical arguments
Auteur :
Gasteren, Antonetta J.M.Van
Éditeur :
Gasteren, Antonetta J.M.Van
ISBN :
9783540528494
Date de publication :
24 juil. 1990
Dimensions :
23,3 x 15,5 x 1,0 cm
Poids :
288 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne
Featuring a technical rather than psychological view of heuristics and a stress on exploiting formalism effectively, this book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms.