《计算机科学与技术方法论》

《计算机科学与技术方法论》是作者多年来对计算学科方法论研究成果的总结。作者根据《计算作为一门学科》报告对整个计算学科综述性导引课程的严密性和挑战性的要求，借鉴了数学的公理化思想，对计算学科的主要内容进行了系统化、逻辑化的概括，并通过大量实例，深入浅出地阐明了计算学科中各主领域发展的基本规律，揭示了各主领域之间的内在联系，有助于人们对计算学科的深入了解。 《计算机科学与技术方法论》的主要内容包括：计算机科学与技术方法论的构建，计算学科的历史、定义、根本问题，计算学科各主领域的基本问题，计算学科中的抽象、理论和设计3个学科形态，计算学科中的核心概念、数学方法、系统科学方法、形式化技术、社会和职业的问题等。为了使读者能更好地理解和掌握书中的内容，在各章末还附有一定数量的思考题。 《计算机科学与技术方法论》是计算学科认知领域的一本学术专著，也可作为高等院校计算学科方法论、计算机导论等课程的教材或参考书，还可供相关专业的学生、教师和科技人员参考。