在第三章作者主要向我们简单介绍了软件编程领域中的三个编程范式的由来，分别是结构化编程、面向对象编程、函数式编程。
第四章中主要介绍结构化编程，前面部分作者首先介绍了结构化编程范式的推导、演变过程。然后又介绍了结构化编程范式中如何验证一个程序的正确性。即我们可以将一个大型程序递归拆解为一系列可以以证明的小函数，然后通过编写测试来验证这些函数是错误的，如果测试过程中通过无法证伪来证明函数的错误，那么这些函数就是相对正确的，因此整个程序就是正确的。
这里我们可以学到的是测试只是一个证伪的过程，只要是证伪那就必然存在真的出现被证实错误的情况，因此程序无论执行过多少测试，都是可能出现BUG，这就要求我们在程序开发过程中要时刻保持警惕，尽量写出高质量代码。