| 共代数方法:研究状态和观察的数学理论 |
| |
| 引用本文： | 周晓聪,王金陈. 共代数方法:研究状态和观察的数学理论[J]. 世界科技研究与发展, 2005, 27(4): 29-33 |
| |
| 作者姓名： | 周晓聪 王金陈 |
| |
| 作者单位： | 中山大学计算机科学系,广州,510275 |
| |
| 基金项目： | 由国家自然科学基金（No.60403013）和广东省自然科学基金（No.031542）资助. |
| |
| 摘 要： | 作为代数的对偶概念，共代数概念在20世纪90年代中后期以来在国际上得到了理论计算机学界的广泛关注。对于计算机科学而言，代数从构造的角度考察数据类型的性质，而共代数则从观察的角度考察基于状态的系统的行为。本文以一个简单的例子介绍共代数方法这一理论计算机前沿领域的基本概念，并试图阐述该方法的意义和远景。
|
| 关 键 词： | 共代数 共代数方法 代数方法 数学理论 状态 90年代中后期 计算机学 计算机科学 20世纪 数据类型 |
Coalgebraic Methods: Toward Mathematics of States and Observations |
| |
| ZHOU Xiaocong,WANG Jinchen. Coalgebraic Methods: Toward Mathematics of States and Observations[J]. World Sci-tech R & D, 2005, 27(4): 29-33 |
| |
| Authors: | ZHOU Xiaocong WANG Jinchen |
| |
| Abstract: | Coalgebras , as directly dual to algebras, have received more and more attention since the mid 1990s. Coalgebraic methods investigate the observable behaviors of systems, while algebraic methods study the constructive elements of data types. This paper tries to explore the basic concepts of coalgebraic methods via a simple example and also discusses the perspectives of this area. |
| |
| Keywords: | coalgebra coalgebraic methods |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
