十八、老师 (第4/6页)

，山丰开始觉得b较轻松了，《数据库》是杨冬青老师，《软T工程》是唐世渭老师，《C作系统》是方裕老师，他们都是中年後期的老师，杨老师、唐老师b较严肃，方老师b较随和。进入大四后，课程很少了，大四第一学期，大家主要准备研究生入学考试，每日到图书馆，早出晚归，也去听了一些补习班，曾经觉得宿舍有些吵，想在校外租房，後来作罢。记得是春节後考试，第一次寒假没有回家，最後顺利考上本系研究生，拜师任绪江老师门下。

    大四第二学期，只有选修课，毕业参加工作的同学基本都不愿再上课了，因此课堂上人很少。有两门课，山丰记得非常清楚，一门是张乃孝老师讲的《程序证明》，另一门是张立昂老师讲的《计算理论》。《程序证明》让山丰耳目一新，因为以往都是通过上机测试的方法来检验程序的正确X，但不能保证完全正确，现在把程式视为数学定理一般，严格证明它的正确X，觉得匪夷所思和神奇，那真是理想主义盛行的八十年代的北大才有的课程。後来山丰去到很多其他学校，包括长期工作的复旦大学，再未听说有人开设过这样的课程，估计现在绝迹了。张立昂老师是山丰最敬重和佩服的老师，他上课的内容和风格山丰都非常喜欢，课程内容理论X强，有深度而充实，难度很大，没有多余的话，讲得很透彻，板书也很清楚，山丰觉得他的诀窍是首先自己理解得透，其次JiNg心安排内容的顺序。这门课由於很难，又是大四下学期，离别的思绪冲淡了学习的热情，坚持上完的同学好像不到五人，山丰