Algebraic Logic and Universal Algebra in Computer Science
Algebraic Logic and Universal Algebra in Computer Science
复制标题
计算机科学中的代数逻辑和通用代数
DOI：
--
复制
发表时间：
1988
期刊：
影响因子：
--
通讯作者：
D. Pigozzi
中科院分区：
文献类型：
--
作者：
C. Bergman;R. Maddux;D. Pigozzi
代数方法，特别是泛代数和代数逻辑的方法，在计算机科学中发挥着越来越重要的作用，特别是在数据类型的代数规范，关系数据类型，关系数据库理论，程序逻辑，函数和逻辑编程以及编程语言的语义等领域。在很大程度上，这项工作是由计算机科学家进行的，他们独立于从事泛代数和代数逻辑工作的非常活跃的数学家群体。1988年6月，在爱荷华州州立大学举行了一次会议，将两个团体的主要研究人员聚集在一起，以确定共同感兴趣的领域。乔尔·伯曼、H·彼得·古姆、比亚尼·琼森、德克斯特·科曾、伊什特万·内梅蒂、沃恩·普拉特、达纳·斯科特和埃里克·瓦格纳都发表了演讲。该方案还包括提交论文和关于代数和逻辑在计算机科学中的作用的圆桌讨论。
Algebraic methods, in particular those of universal algebra and algebraic logic, are playing an increasingly important role in computer science, especially in the areas of algebraic specification of data types, relational data types, relational database theory, logic of programmes, functional and logic programming, and semantics of programming languages. To a large extent this work has been carried forward by computer scientists independent of the very active group of mathematicians who work in universal algebra and algebraic logic. A conference was held at Iowa State University in June 1988 to bring together leading researchers from both groups to identify areas of common interest. Addresses were given by Joel Berman, H.Peter Gumm, Bjarni Jonsson, Dexter Kozen, Istvan Nemeti, Vaughan Pratt, Dana Scott and Eric Wagner. The programme also included contributed papers and a round-table discussion of the role of algebra and logic in computer science.