《计算机科学与技术方法论》的贡献和意义

摘要

@@在计算教育的历史上，有关整个计算学科综述性导引(计算机导论)课程的构建问题，长期以来一直存在激烈的争论。rn ACM和IEEE-CS对这一问题十分重视。1989年1月，ACM攻关组在《ACM通讯》杂志上发表的《计算作为一门学科》报告明确将“计算机导论”课程的构建问题列为计算教育面临的第三个重大问题，并对解决这一问题提出了“严密性”和“挑战性”的要求。 在此背景下出版的《计算机科学与技术方法论》一书，明显具有现代教育思想的原创性。在书中，作者对近几年的研究工作进行了总结，开创性地将数学的公理化思想引入计算教育领域，首次阐述了“计算机科学与技术方法论”作为一个理论体系所具有的无矛盾性、独立性和完备性，从而科学地构建起计算学科的方法论，解决了《计算作为一门学科》报告提出的计算教育中的第三个重大问题。……