计算机科学基础理论概述：历史、分支与图灵奖

"《浅谈计算机科学的若干基础理论》由邱道文在中山大学信息科学与技术学院计算机科学系于2007年11月撰写。该文章探讨了计算机科学领域的核心概念和理论，旨在为读者提供深入理解这一学科的基础。文章首先定义了计算学科，指出它是系统研究描述和变换信息的算法过程，涵盖了理论、分析、设计、效率、实现和应用等多个方面。计算学科的根本问题在于确定哪些任务能够被有效自动化，这源于对算法理论、数理逻辑、计算模型和自动计算机器的深入探究。 文章进一步划分了计算学科的主要分支，包括计算机科学、信息系统、软件工程、计算机工程、信息技术以及新兴的专业领域。其中，作者特别强调了计算机科学的基础理论，如数理逻辑与集合论、代数系统、图论以及形式语言与自动机。这些理论构成了计算机科学的基石，对于理解和开发复杂的计算系统至关重要。 提到新的计算理论，文章介绍了非经典计算领域，如量子计算，这是一种利用量子力学原理进行计算的前沿理论，挑战了传统计算机的局限性。作者还提到了计算机科学的最高荣誉——图灵奖，由ACM设立，以表彰在计算机科学领域有杰出贡献的科学家，许多图灵奖得主本身就是数学家，如Minsky、Dijkstra和Knuth等人。 文章还探讨了计算的定义，通俗来说，它涉及符号的转换，如基本的数学运算、方程求解、函数处理以及逻辑推理。此外，文章着重讨论了计算的实质与Church-Turing观点，即所有可计算的问题理论上都能通过某种形式的计算机制解决，这是现代计算机科学的核心理念。 这篇论文提供了一个全面的视角，帮助读者理解计算机科学的基本理论框架，以及其历史发展、主要分支和重要奖项，为学习者和专业人士提供了深入学习和研究的基础。"