首页> 美国政府科技报告 >Applications of Algebraic Logic and Universal Algebra to Computer Science

【24h】

Applications of Algebraic Logic and Universal Algebra to Computer Science

机译：代数逻辑与通用代数在计算机科学中的应用

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

A four-day conference was held at Iowa State University oriented around the topics stated in the project title. Approximately 80 people attended the conference, with roughly equal representation from Mathematics and Computer Science. The conference consisted of eight invited lectures (60 minutes each) and 26 contributed talks (20-40 minutes each). There was also a round-table discussion on the role of algebra and logic in computer science. Keywords: Programming logic, Conditional logic, Programming language, Calculus, Algebraic curves. (KR)

著录项

作者
Quigley, E. F.;
展开▼
作者单位

展开▼
年度 1989
页码 p.1-28
总页数 28
原文格式 PDF
正文语种 eng
中图分类工业技术;
关键词
Algebra; Programming languages; Calculus; Computer programming; Computers; Logic; Applied mathematics;

机译：代数;程序设计语言;微积分;计算机编程;计算机;逻辑;应用数学;

相似文献

外文文献
中文文献
专利

1. Session "Interval and Computer-Algebraic Methods in Science and Engineering" At the 6th International Association for Mathematics and Computers in Simulation (IMACS) Conference of Applications of Computer Algebra (ACA'2000) [J] . Vyacheslav Nesterov, Vladik Kreinovich Reliable Computing . 2001,第1期

机译：在第六届国际数学与模拟计算机协会（IMACS）计算机代数应用会议（ACA'2000）上的会议“科学与工程中的间隔和计算机代数方法”
2. Foreword on the relationship of computer algebra with mathematics and physics Special issue on applications of computer algebra [J] . Jacques Calmet Annals of Mathematics and Artificial Intelligence . 2012,第4期

机译：关于计算机代数与数学和物理的关系的前言关于计算机代数的应用专刊
3. Special issue on computer algebra in algebraic topology and its applications [J] . Ellis G., Sáenz-De-Cabezón E. Applicable algebra in engineering, communication and computing . 2012,第1a2期

机译：代数拓扑中的计算机代数及其应用专刊
4. Universal Algebra and Computer Science [C] . Boris Plotkin, Tanya Plotkin Fundamentals of Computation Theory . 2001

机译：通用代数与计算机科学
5. Asymptotic cohomological vanishing theorems and applications of real algebraic geometry to computer science. [D] . Burr, Michael A. 2010

机译：渐近同调消失定理以及实际代数几何在计算机科学中的应用。
6. Numerical algebraic geometry for model selection and its application to the life sciences [O] . Elizabeth Gross, Brent Davis, Kenneth L. Ho, 2016

机译：用于模型选择的数值代数几何及其在生命科学中的应用
7. Logic characterized by Boolean algebras with conjugate (Clone Theory and Discrete Mathematics・Algebra and Logic Related to Computer Science) [O] . Kondo Michiro 2013

机译：以共轭布尔代数为特征的逻辑（克隆理论与离散数学・与计算机科学相关的代数与逻辑）

Applications of Algebraic Logic and Universal Algebra to Computer Science

摘要

著录项

相似文献

相关主题

期刊订阅