《明朝一哥王阳明》精彩段落(上)

  • 第一章    万古长夜,第一缕光

  许多年后,大洋彼岸的林肯说了句名言:“宁可给一条狗让路,也比与它冲突让它咬一口好。如果被咬伤了,即使把它杀掉也无济于事,得不偿失。”翻译成精炼的中文就是“宁可得罪君子,不要得罪小人”。

  • 第三章 &nbs[……]

Read more

编程珠玑笔记(7)-编程小事

  本章的内容与第4章一脉相承。第4章详细叙述了如何获得正确的二分搜索程序,并给出了详细的伪代码和正确性证明。本章则是在其基础上真正实现二分搜索的C语言程序。在叙述的过程中,作者展示了如何利用脚手架和断言技术来对代码段进行测试。

  第5小节还介绍了计时的概念,但根据习题7中的讨论,书中展示的计时[……]

Read more

编程珠玑笔记(6)-编写正确的程序

  作者在这一章叙述了编写正确程序的基本方法,在这个过程中介绍了断言、不变式等重要概念,主要介绍了人工程序验证这种检验程序正确性的方法。

  用到的例子是二分搜索,作者在第一小节便强调,二分搜索从论文的发表到第一个没有错误的程序出现,历经了16年的时间,以此来强调编写正确程序的重要性和本章的必要性[……]

Read more

《明朝一哥王阳明》读书笔记

  • 作者简介
  •   本书的作者名叫吕峥,根据封面折页的介绍,是85后新锐作家,笔名临川之笔。其毕业于中国传媒大学戏剧影视文学专业,自幼喜读史书,师承心学大家周月亮。据说他的文笔兼具韩寒的犀利与当年明月的幽默,而对传统哲学的深厚造诣为两人所不及。

      根据网上的资料,其主要的作品即为这部《明朝一哥王阳明[……]

    Read more