Some beautiful arguments using mathematical induction

Some beautiful arguments using mathematical induction
复制标题

使用数学归纳法的一些漂亮的论证

DOI:
--
复制
发表时间:
2004
期刊:
影响因子:
0.6
通讯作者:
E. Dijkstra
E. Dijkstra
中科院分区:
计算机科学4区
文献类型:
--
作者:
E. Dijkstra

文献摘要

被引文献

相似文献

总结三个优雅的证明和一个有效的算法。推导顺利地从选择应用数学归纳法,推理的模式,已被选为这个小集合的“主旨”。最后一个证明是算法的副产品。
SummaryThree elegant proofs and an efficient algorithm are derived. The derivations evolve smoothly from the choice to apply mathematical induction, the pattern of reasoning that has been chosen as the ‘Leitmotiv’ for this small collection. The last proof is the by-product of the algorithm.