On the Shape of Mathematical Arguments
暂无分享，去创建一个
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.
[1] Edsger W. Dijkstra,et al. Selected Writings on Computing: A personal Perspective , 1982, Texts and Monographs in Computer Science.
[2] Mlj Malo Hautus,et al. Asymptotic properties of matrix differential operators , 1980 .
[3] A. J. M. van Gasteren,et al. In-situ Inversion of a Cyclic Permutation , 1987, Inf. Process. Lett..
[4] Whj Wim Feijen,et al. Shiloach's algorithm, taken as an exercise in presenting programs , 1982 .