裘宗燕，北京大学数学科学学院学院教授、博士生导师。出版《Mathematica数学软件系统的应用和程序设计》、《程序设计语言基础》等多部专著、译著。

个人简历

著作译著

个人简历

裘宗燕 北京大学数学科学学院学院教授 博士生导师

研究领域：形式化方法，程序设计语言，新型语言的语义模型，计算机科学教育

著作译著

1 译 《程序设计语言基础》，北京大学出版社，1990（Ellis Horowitz, Foundametals of Programming Languages, Springer-Verlag, 1986）

2 著 《Mathematica数学软件系统的应用和程序设计》，北京大学出版社，1994，多次重印

3 与许卓群合著 《计算概论（上册），高等教育出版社》，1997

4 与张乃孝合著 《数据结构—C++与面向对象的途径》，高等教育出版社，1998，第二版2001

5 著 《从问题到程序——程序设计与C语言引论》，北京大学出版社 1999，2002

6 译 《程序设计实践》，机械工业出版社，2000（Brian W. Kernighan and Rob Pike, The Practice of Programming, Addison-Wesley, 1999) 。

7 主编 《计算机基础教程（上、下册）》，北京大学出版社，2000.8，2001.4。撰写若干部分

8译（与李琦、李建国合作） 《科学程序设计引论——使用Mathematica和C解决计算问题》，高等教育出版社，2001.7（JosephL.Zachary, Introduction to Scientific Programming ---omputationalProblems Solving using Mathematica and C, Springer-Verlag,1998）

9 译 《C++语言的设计和演化》，机械工业出版社，2002.1（Bjarne Stroustrup, TheDesign andEvolution of C++, Addison-Wesley,1994）。

10 译（与秦胜潮，蒲戈光，林宗芳，魏晋伟合作）《程序设计语言——概念和结构》（第二版），机械工业出版社，2002.2（RaviSethi, Programming Languages--- Concepts and Constructs, 2nd Edition,Addison-Wesley,1996）。

11 译《从规范出发的程序设计》（第二版），中信出版社，2002.5，后中信把本书转给机械工业出版社（2002.8）（CarrollMogan,Programming From Specification, 2nd Edition, PrenticeHallInternational, 1998）。出版社把作者国籍[澳]错写为[美]。译者序

12 译《C++程序设计语言》（特别版），机械工业出版社，2002.7（Bjarne Stroustrup, C++ProgrammingLanguages (Special Edition),Addison-Wesley,2000）。

13 著 《C++语言基本程序设计》，科学出版社，2003.3。本书是作为计算机基础课程的教材，属于“信息科学专业系列教材”之一

14 译 《C++程序设计语言题解》（“C++程序设计语言”的伴侣），机械工业出版社2003.1（David Vandevoorde, C++ Solutions，Addison-Wesley, 1998）

15译 《计算机程序的构造和解释》，机械工业出版社，2004.2（Harold Abelson and Gerald JaySussmanwith Julie Sussman, Structure and Interpretation of ComputerPrograms(2nd Edition), MIT Press, 1998）

16 译《B方法》，电子工业出版社，2004.6（Jean-Raymond Abrial, The B-Book: Assigningprogramsto meanings, Cambridge University Press,1996）。图灵奖获得者C.A.R.Hoare为本书撰写“颂辞”，极其推崇（可惜出版社没把颂辞印在书里，且把作者国籍[法]错写为[美]）。

17 译 《程序设计语言——实践之路》，电子工业出版社（Broadview），2005.3（Michael Scott, Programming Language Pragmatics, Morgen Kaufmann, 2000）。

18 著 《从问题到程序——程序设计与C语言引论》（2005版），机械工业出版社，2005.9。

19译 《程序设计语言——实践之路（第二版）》，电子工业出版社（Broadview），2007.6（MichaelScott,Programming Language Pragmatics, Morgen Kaufmann, Second Edition,2006）。