十六、学c

山丰希望能够将这些严谨的表示也用於自然语言，或者发展出适合自然语言的形式T系。丁老师上课总是微笑，课间休息Ai和同学们聊天，回答同学们的问题。《编译原理》有一个大作业，就是要实现一个类b编译器，将普通程序转换成一种受限的程式b如只有一个变数，山丰和另一个同学组队，两人分工，《编译原理》的大作业基本由山丰完成，另一个大作业——C作系统模拟器——由他完成，这份作业山丰完成得b较好，十道测试题只有最後一道关於递归的问题没有通过差一点点，是山丰在北大学习中最有成就感的一次。之後的学习，山丰开始觉得b较轻松了，《数据库》是杨冬青老师，《软T工程》是唐世渭老师，《C作系统》是方裕老师，他们都是中年後期的老师，杨老师、唐老师b较严肃，方老师b较随和。进入大四后，课程很少了，大四第一学期，大家主要准备研究生入学考试，每日到图书馆，早出晚归，也去听了一些补习班，曾经觉得宿舍有些吵，想在校外租房，後来作罢。记得是春节後考试，第一次寒假没有回家，最後顺利考上本系研究生，拜师任绪江老师门下。

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

还有一些习题课和上机实习的老师也给山丰留下了深刻的印象，他

本章未完，请点击下一页继续阅读！ 第17页 / 共133页