2000年以来讲授过的课程
计算概论(用 Python 作为教学语言)
(数学学院本科生)
数据结构和算法(用 Python 作为教学语言,基于Python的“计算概论”的后续课)
(数学学院本科生)
程序设计技术与方法(采用 MIT 著名教科书 Structure and Interpretation of Computer Programs)
(数学学院和信息学院本科生)。
课程简介
程序设计语言原理
(研究生课,情况见课程主页)
算法与数据结构---基于Maple的课程
。课程材料在北大教学网,包括幻灯片等
形式化方法 --- 基于 B 方法的软件开发(研究生课)
低年级讨论班(讨论内容:《代码之美》)
数据结构(基于C语言,北大主干基础课)
软件形式化方法(研究生课,基于Z规范语言)
计算概论(基于C语言,北大主干基础课)
,
教科书:
《从问题到程序——程序设计与C语言引论》(2004修订版)下载
EMAIL:
qzy@math.pku.edu.cn
通讯地址:100871,北京大学数学学院信息科学系