未找到相关数据
动作和进化的模型论基础
被引：6
作者：
田启家
史忠植
机构：
[1] 中国科学院计算技术研究所
[2] 中国科学院计算技术研究所 北京
[3] 北京
来源：
关键词：
动作;
进化;
情景演算;
多类逻辑;
模型论;
D O I：
暂无
中图分类号：
O141.4 [模型理论];
学科分类号：
070101 [基础数学];
摘要：
在分析改进有关工作的基础上,给出了一种多类逻辑作为刻画动作的形式基础.定义所谓的极小动作理论,并着重从模型论的角度研究它.在此基础上结合数理逻辑的有关方法,分析研究进化的概念.
引用
收藏
页码：282 / 288
页数：7
相关论文