董荣胜、古天龙《计算机科学与技术方法论》：学科体系与教学指南

"《计算机科学与技术方法论》是一本由董荣胜和古天龙合著的专业书籍，由人民邮电出版社出版。该书旨在提供对计算机科学这门学科的全面且深入的理解，作者将多年的研究成果系统化和逻辑化，强调了其严谨性和挑战性，借鉴了数学的公理化思想。书中首先回顾了计算机科学的发展历程，包括早期名称的争议、主要里程碑如CC1991和CC2001的成果，以及当前计算教育所面临的问题。 计算机科学与技术方法论的构建是本书的核心，它探讨了学科的历史、定义和根本问题，如计算的本质，从早期的集合论和罗素悖论，到希尔伯特纲领和图灵对计算的界定。此外，作者还剖析了计算学科的各个主要领域，如抽象理论、理论与设计，以及数学方法、系统科学方法、形式化技术和职业社会问题等，并通过实例深入浅出地展示这些领域的内在联系。 为了帮助读者更好地理解和掌握书中的复杂概念，每一章末尾都设有思考题，促使读者进行深度思考。这本书不仅是一本学术专著，适用于高等院校计算机科学方法论、计算机导论等课程的学习，也适合相关专业学生、教师和科技人员作为教材或参考书。通过对计算机科学的科学问题、本质和方法论的深入讨论，读者可以系统地了解这门学科的全貌和核心概念，从而在理论研究和实际应用中游刃有余。"