计算学科方法论探索：从历史到核心概念

"《计算机科学与技术方法论》是一本由董荣胜和古天龙合著的学术著作，由人民邮电出版社出版。该书系统地总结了作者在计算学科方法论研究上的成果，旨在为读者提供一个全面了解计算机科学的框架。书中结合数学的公理化思想，对计算学科的各个主要领域进行了系统化和逻辑化的阐述，并通过实例解释了这些领域的发展规律和相互关系。内容涵盖计算机科学与技术方法论的构建、计算学科的历史、定义、根本问题，以及各个主领域的基本问题、抽象、理论、设计、核心概念、数学方法、系统科学方法、形式化技术和涉及的社会与职业问题。此外，每章末尾还提供了思考题以帮助读者深入理解。本书不仅适合作为计算学科认知领域的学术专著，还可作为高等院校相关课程的教材或参考书，适合学生、教师及科技工作者阅读。" 该书首先介绍了计算机科学与技术方法论产生的历史背景，从早期关于计算机科学名称的争论，到CC1991和CC2001报告的主要成果及其局限性，再到计算教育面临的问题和方法论的提出。接着，作者定义了计算机科学与技术方法论，提出二维定义矩阵，将计算学科的本质问题归约为定义矩阵的基本问题。他们还进一步阐述了方法论作为理论体系的结构，包括科学技术方法论的一般理论以及计算机科学与技术方法论的特色。 书中深入探讨了计算学科中的科学问题，从科学问题的定义和特征出发，讨论了计算的本质，如康托尔的集合论、罗素悖论、希尔伯特纲领、图灵的工作以及现代计算机的诞生，这些都是理解计算学科基础的关键。这些科学问题的探讨揭示了计算学科的核心，为后续章节的展开奠定了基础。 通过学习《计算机科学与技术方法论》，读者可以了解到计算学科的起源、发展、核心概念以及研究方法，从而深化对计算学科整体架构的理解，并能够运用这些方法论解决实际问题。这是一本集理论深度和实践指导于一体的综合性读物，对于希望深入理解计算机科学和技术的人来说，具有很高的参考价值。