论文投稿_医学论文投稿_核心期刊,职称论文投稿发表_论文部落

　　综上所述，计算学科二维定义矩阵中的科学问题，抽象、理论和设计3个过程("横向"关系）与计算学科中的核心概念、数学方法、系统科学方法、形式化技术、社会和职业的问题《计算作为一门学科》报告遵循了一般科学技术方法论的("纵向"关系）构成了计算学科方法论的主要内容。自此，计算学科认知领域的理论体系--计算机科学与技术方法论已经建立。

　　以上是理论体系的建立采用的是自然语言的描述，对于我们学科而言，显然不够，人们更希望看到的是用形式化方法定义的理论体系，董教授与古天龙教授在文献中借助数学的集合论，采用公理化的方法，给出了计算机科学与技术方法论的形式化定义。

　　由于公理化方法主要用于回顾性的总结，对学科中有争论的问题以及未来探索性的展望作用有限。因此，董教授等人在计算机科学与技术方法论构建的基础上，又增加了两个对计算学科认知有重要影响的内容，这些内容以任务的形式加以确认：一个是对计算教育史上和当前计算教育实际中有争议的问题作出科学的分析和评论;另一个是根据计算技术发展的趋势和要求，对计算教育中提出的新课题作出回答，对未来的计算教育作出科学的预测。董教授认为，原有的计算机科学与技术方法论的内容再加上现在新增的内容，又形成了一门新的基础理论--计算教育哲学。

　　计算机科学与技术方法论构建后。董教授向学术界极力推荐这种计算认知领域的理论体系，并认为，随着这种理论体系的不断完善，必将给人们一种完全超出自己粗放的想象的认识计算学科的能力。

　　为尽快将计算机科学与技术方法论的思想应用于教学实践，董教授与古天龙教授合著了《计算机科学与技术方法论》(人民邮电出版社2002年9月出版）一书。为便于大学一年级学生的学习，董教授还撰写了《计算机科学导论--思想与方法》（高等教育出版社2007年9月出版）一书。

　　据统计，目前已有北京大学、华中科技大学、中国地质大学、兰州大学、新疆大学、广西大学、江西财经大学、山东工商学院、桂林电子科技大学等国内近百所大学将《计算机科学与技术方法论〉与《计算机科学导论--思想与方法》两本书选为'计算机方法论"或'计算机导论"课程的教材或主要教学参考书。

　　计算机科学与技术方法论的研究工作引起国内外计算机教育界的重视，2001年7月，CC2001任务组负责人美籍华人CarlChang教授在上海参加由中国计算机学会教育专业委员会和全国高校计算机教育研究会联合主办的"新世纪计算机教育与CC2001教程研讨会'上看到《计算机科学与技术方法论>(会议论文[12])-文后，即在大会报告中肯定了这项工作，并在CC2001原来报告（草案）的基础上，增加P'计算机科学与技术方法论"的有关内容，并首次明确要求学生要更多地了解'学科方法论"的内容[13]。

　　2002年8月，由清华大学出版社出版的《中国计算机科学与技术学科教程2002>>采用了"计算机科学与技术方法论"的有关研究成果。同时，"教程"还将"学科方法论"列为现代教育思想的内核，并明确指出：在计算机科学与技术学科的教育中，学科方法论的内容占有非常重要的地位[14]。

　　2003年10月，全国高等学校计算机教育研究会在桂林举办了全国'计算机科学与技术方法论"专题学术研讨会，清华大学等国内近百所高校的150多位代表参加了会议。会议代表肯定了"计算机科学与技术方法论"对计算学科的重要作用，不少代表还介绍了使用本成果的体会，会议论文集由中文核心期刊:〈计算机科学》专辑出版[15]。

　　3.计算思维与计算机方法论的关系