Anhydrous
发表于 2025-3-27 00:10:40
On the deisng of an in-situ permutation algorithm, algorithm and the design decisions leading to it. The choice of the notation was guided by constraints of manipulability, constraints that were met primarily by being frugal in the use of nomenclature (of subscripted variables in particular).
陶器
发表于 2025-3-27 03:44:44
In adherence to symmetry,This chapter is another illustration of the complications engendered by the introduction of nomenclature, here emerging in the form of overspecificity and loss of symmetry. It aaso discusses the choice between recursion and complete unfolding.
废除
发表于 2025-3-27 07:34:45
http://reply.papertrans.cn/71/7013/701281/701281_33.png
占线
发表于 2025-3-27 11:07:46
A monotonicity argument,The belief that equivalence is always most appropriately proved by showing mutual implication has undoubtedly been strengthened by the way in which proofs in Euclidean geometry are conducted. The purpose of this chapter is to show that some of that “geometrical evidence” is not compelling at all.
寄生虫
发表于 2025-3-27 16:06:22
http://reply.papertrans.cn/71/7013/701281/701281_35.png
Nucleate
发表于 2025-3-27 19:43:21
,A calculational proof of Helly’s theorem on convex figures,The proof in this chapter is included firstly to show the calculational style in action, this time in a geometrical problem, and, secondly, to illustrate the carefully phased exploitation of data that is enabled by the introduction of nomenclature.
染色体
发表于 2025-3-28 01:59:53
The formal derivation of a proof of the invariance theorem,The construction of the formal proof in this chapter illustrates to what extent the shape of formulae rather than their interpretation can inspire and assist the design of a proof.
冷淡周边
发表于 2025-3-28 02:43:00
http://reply.papertrans.cn/71/7013/701281/701281_38.png
jet-lag
发表于 2025-3-28 07:25:19
http://reply.papertrans.cn/71/7013/701281/701281_39.png
召集
发表于 2025-3-28 11:29:46
0302-9743 is to show how completeness of argument, an important constraint especially for the correctness of algorithms, can be combined with brevity. The author stresses that the use of formalism is indispensible for achieving this. A second purpose of the book is to discuss matters of design. Rather than ad