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