後顺利考上本系研究生，拜师任绪江老师门下。
大四第二学期，只有选修课，毕业参加工作的同学基本都不愿再上课了，因此课堂上人很少。有两门课，山丰记得非常清楚，一门是张乃孝老师讲的《程序证明》，另一门是张立昂老师讲的《计算理论》。《程序证明》让山丰耳目一新，因为以往都是通过上机测试的方法来检验程序的正确X，但不能保证完全正确，现在把程式视为数学定理一般，严格证明它的正确X，觉得匪夷所思和神奇，那真是理想主义盛行的八十年代的北大才有的课程。後来山丰去到很多其他学校，包括长期工作的复旦大学，再未听说有人开设过这样的课程，估计现在绝迹了。张立昂老师是山丰最敬重和佩服的老师，他上课的内容和风格山丰都非常喜欢，课程内容理论X强，有深度而充实，难度很大，没有多余的话，讲得很透彻，板书也很清楚，山丰觉得他的诀窍是首先自己理解得透，其次JiNg心安排内容的顺序。这门课由於很难，又是大四下学期，离别的思绪冲淡了学习的热情，坚持上完的同学好像不到五人，山丰也第一次有了近距离和老师交流的经历，张老师在评分上也非常照顾学生，如果解题思路大方向对了，他不会太苛求细节的完美。山丰後来做老师，觉得自己在很多
-->>(第5/8页)（本章未完，请点击下一页继续阅读）