《计算机科学与技术方法论》- 董荣胜古天龙

"《计算机科学与技术方法论》是由董荣胜和古天龙合著的一本深入探讨计算学科方法论的学术著作，旨在总结作者在计算学科方法论研究中的成果。书中结合数学的公理化思想，系统化、逻辑化地概括了计算学科的主要内容，并通过实例讲解了各个主领域的基本规律和内在联系。该书适用于深化理解计算学科，也可作为高校相关课程的教材或参考书。" 《计算机科学与技术方法论》首先介绍了方法论产生的历史背景，回顾了早期关于“计算机科学”名称的争议，以及计算作为一门学科的报告——如CC1991和CC2001的主要成就和局限性。作者提出了计算教育面临的问题，并在此基础上引出了计算机科学与技术方法论的概念。这一方法论的建立基于对计算学科二维定义矩阵的分析，旨在解决计算学科的本质问题。 书中详细讨论了计算学科中的科学问题，包括科学问题的定义、特征和方法论作用。作者追溯了计算本质的认识历程，从康托尔的集合论、罗素悖论，到希尔伯特纲领，再到图灵对计算本质的揭示，最终现代计算机的诞生及计算学科的明确界定。这些科学问题构成了计算学科的基础，并影响了其发展方向。 此外，书中还涵盖了计算学科的各个主领域，包括计算的抽象、理论和设计这三个学科形态。作者阐述了数学方法、系统科学方法和形式化技术在计算学科中的应用，以及社会和职业问题的考量。每章末尾都配有思考题，帮助读者更好地理解和消化所学内容。 此书不仅是计算学科认知领域的专业读物，对于大学生、教师以及科技工作者来说，也是理解和深入学习计算学科的宝贵资料。通过阅读，读者可以全面了解计算学科的发展脉络、核心概念，以及科学研究的方法论，从而提升在这一领域的理论素养和实践能力。