裘宗燕的作品

裘宗燕

裘宗燕 北京大学数学科学学院教授,博士生导师,主要研究领域涉及形式化方法、程序设计语言、新型语言的语义模型和计算机科学教育。著作有《Mathematica数学软件系统的应用和程序设计》《从问题到程序——程序设计与C语言引论》《从问题到程序——用Python学编程和计算》《数据结构与算法:Python语言描述》等,译作有《编程原本》《程序设计实践》《C++语言的设计和演化》《B方法》《程序设计语言——实践之路》等。

裘宗燕

裘宗燕 北京大学数学科学学院教授,博士生导师,主要研究领域涉及形式化方法、程序设计语言、新型语言的语义模型和计算机科学教育。著作有《Mathematica数学软件系统的应用和程序设计》《从问题到程序——程序设计与C语言引论》《从问题到程序——用Python学编程和计算》《数据结构与算法:Python语言描述》等,译作有《编程原本》《程序设计实践》《C++语言的设计和演化》《B方法》《程序设计语言——实践之路》等。