ACM索引

23位获奖者的22篇文章

算法系统的综合 展示了第一位图灵奖获得者阿兰·伯利斯对当时编程语言及算法的理解，现在的系统少有出其右者

程序的函数风格及其代数 其严谨的函数式编程的数学定义令人叹为观止，他的思想至今只有极少数语言能够超越

人工智能的一般性 麦卡锡对当时已有的Prolog逻辑式编程语言进行了分析并给出了在机械化推理方面的新思路

关系数据库：生产力的实用基础 总算让大家有种“找到组织了”的感觉，然而一看文章才知道我们从不离手的关系型数据库理论是那样复杂，实现是那样困难，耗尽了一代科学家的心血

 

ALGOL

ALGOL是计算机发展史上首批产生的高级语言，当时还是晶体管计算机流行的时代，由于ALGOL语句和普通语言表达式接近，更适于数值计算，所以ALGOL多用于科学计算机。

ALGOL这个名称是算法语言（ALGOrithmic Language）的简称，这种语言不是计算机制造公司为某种特定机器设计的，而是纯粹面向描述计算过程的，也就是所谓面向算法描述的。

ALGOL是第一个清晰定义的语言，其语法是用严格公式化的方法说明的。ALGOL语言并没有被广泛的使用，但它是许多现代程序语言的概念基础。

Algol 58：1958年，ACM小组和以当时联邦德国的应用数学和力学协会GAMM在苏黎世把他们关于算法表示法的建议综合为一，形成了Algol 58，先被命名为IAL（国际代数语言，International Algebraic Language），后来改称Algol 58。

Algol 60：1960年1月，图灵奖获得者:艾伦.佩利（Alan J.Perlis）在巴黎举行的有全世界一流软件专家参加的讨论会上，发表了"算法语言Algol 60报告"，确定了程序设计语言Algol 60。1962年，艾伦.佩利又对Algol 60进行了修正。

Algol 60引进了许多新的概念如：局部性概念、动态、递归、巴克斯瑙尔范式BNF(Backus-Naur Form)等等。

Algol 60是程序设计语言发展史上的一个里程碑，它标志着程序设计语言成为一门独立的科学学科，并为后来软件自动化及软件可靠性的发展奠定了基础。

Algol W：1966年，IFIP吸收沃思参加对Algol语言进行完善与扩充的工作小组。沃思参加进去以后，提交了一份建议书并由霍尔(Tony Hoars)等人修改、完善以后形成Algol W。同时还催生了一个新的语言PL 360。

 

 

逻辑与程序设计

自动机

有限状态装置

层次以及同半群的联系

上下文无关文法

 

 

作为经验调查的计算机 科学:查找和符号

定性结构定律:

  定性结构的定律在科学中处处可见。我们的某些最伟大发现可以在它们中找到。

 

物理符号系统

这样的系统必须遵守物理定律--它们可由工程部件组成的工程系统实现

符号 则不限于人类的符号系统