ACM和IEEE－CS对这一问题十分重视。1989年1月，ACM攻关组在《ACM通讯》杂志上发表的《计算作为一门学科》报告明确将“计算机导论”课程的构建问题列为计算教育面临的第三个重大问题，并对解决这一问题提出了“严密性”和“挑战性”的要求。
在此背景下人民邮电出版社出版的《计算机科学与技术方法论》，明显具有现代教育思想的原创性。在书中，作者对近几年的研究工作进行了总结，开创性地将数学的公理化思想引入计算教育领域，首次阐述了“计算机科学与技术方法论”作为一个理论体系所具有的无矛盾性、独立性和完备性，从而科学地构建起计算学科的方法论，解决了《计算作为一门学科》报告提出的计算教育中的第三个重大问题。
近几年来，该书作者的研究工作已逐步引起国内外计算机教育界的重视。2001年7月中旬，在上海召开的CC2001教程研讨会上，我向IEEE－CS教育委员会副主席、CC2001工作组负责人Carl.Chang教授推荐了《计算机科学与技术方法论》作者所做的工作，引起了他的注意。随后，他在大会特邀报告中肯定了这项工作所具有的批判性，并明确指出学术界需要这项工作。不久，CC2001任务组就在原来报告（草案）的基础上，增加了“计算机科学与技术方法论”的有关内容，并首次明确要求学生要更多地了解“学科方法论”的内容。
2002年8月，由清华大学出版社出版的《中国计算机科学与技术学科教程2002》引用了该书作者有关“计算机科学与技术方法论”的研究成果。同时，在该书作者工作的影响下，“教程”还将“学科方法论”列为现代教育思想的内核，并明确指出：在计算机科学与技术学科的教育中，学科方法论的内容占有非常重要的地位。由此可见该书作者对计算学科的发展做出了重大的贡献。
将计算机科学与技术方法论引入高等学校的计算机教育，是计算教育界当前所面临的一项重要而又迫切的任务。《计算机科学与技术方法论》一书的出版十分及时，它无疑将会对计算教育的改革以及计算教育的科学研究产生积极而深远的影响。
从书的写作角度来看，《计算机科学与技术方法论》观点正确，概念清楚，结构严谨，阐述清晰，具有鲜明的层次性和条理性。同时，书中还运用了大量的经典实例，使原本深奥的知识变得易于理解，是一本融知识性、哲理性及趣味性于一体的好书。
（本文作者为全国高等学校计算机教育研究会理事长）
 |
