搜索筛选:
搜索耗时1.2293秒,为你在为你在102,285,761篇论文里面共找到 11 篇相符的论文内容
发布年度:
[期刊论文] 作者：沈恩绍,
来源：科学通报 年份：1992
对具Q.E.性质的一阶理论,一个直观是:其模型中元素的分布是相当“均匀”而无“奇点”。在线性序场合,此直观对应于“稠密性且无端点”。拓广到偏序场合,下列一组公理看...
[期刊论文] 作者：沈恩绍,
来源：北京师范大学学报：自然科学版 年份：1990
给出模型论中弱力迫概念的一个语法特征。然后在此基础上引入弱力迫的一种布尔值模型表示,并给出这种表示对f-伴随理论的一些应用。...
[期刊论文] 作者：沈恩绍,
来源：数学进展 年份：1995
将Ｍａｌｉｔｚ量词Ｑ￣（ｍ，ｎ）的基数限制去掉，再作多分划拓广，便得到各种ｍｏｎａｄｉｃ型的分划量词。本文引入了分划逻辑的着色卵石博奕方法，证明了相应的Ｅｈｒｅｎｆｅｎｃｈｔ－Ｆｒａｓｓｅ定理，作为此方法的一个应用，证明了在表达能力上，ｍｏｎａｄｉｃ型的分划逻辑......
[期刊论文] 作者：沈恩绍,
来源：数学进展 年份：1996
近年来，逻辑中语义的思想与方法在理论计算机科学的许多分支中的渗透与应用，已愈来愈受重视．作为语义方法的逻辑基础，（一阶）模型论是研究（一阶）逻辑的语法构造与语义属性之间联系的一......
[期刊论文] 作者：沈恩绍,
来源：软件学报 年份：1996
在ＰＴＬ（ｐｒｏｐｏｓｉｔｉｏｎａｌ ｔｅｍｐｏｒａｌ ｌｏｇｉｃ）上加入一个Ｕ算子的自然拓广－２分划算子，便导出了Ｗｏｌｐｅｒ－Ｖａｒｄｉ－Ｓｉｓｔｌａ之ＥＴＬ（ｅｘｔｅｎｄ ＰＴＬ）的一个完全的子逻辑，它有更简洁的语法及公理系统、更好地判定算法等，是研究有限状态并发程序的一种理想的规范语言。......
[期刊论文] 作者：沈恩绍,
来源：软件学报 年份：2000
Ｇｉａｍｍａｒｒｅｓｉ与Ｒｅｓｔｉｖｏ在一篇综述中总结出一个关于可识别的图像语言（即２维矩形语言）ＲＥＣ的等价性定理，对比１维字语言的相应结果，其中还缺少关于生成文法的相应一环，提出了一种（矩形的）格点文法，正好弥补了这一......
[会议论文] 作者：沈恩绍,
来源：’94全国理论计算机科学年会 年份：1994
...
[期刊论文] 作者：沈恩绍,
来源：Journal of Computer Science and Technology 年份：1998
Introduce heuristically the newly definitioll (W. Thomas) for graph automata - using"tiles" to simulste the extension (over dags) of the classical notions of transition moves; proposea sufficient cond...
[期刊论文] 作者：沈恩绍,
来源：软件学报 年份：2000
Giammarresi与 Restivo在一篇综述中总结出一个关于可识别的图像语言 (即 2维矩形语言 ) REC的等价性定理 .对比 1维字语言的相应结果 ,其中还缺少关于生成文法的相应一环 .提出了一种 (矩形的 )格点文法 ,正好弥补了这一缺环 .而取代 2维 on- line tesselation......
[期刊论文] 作者：程士安,沈恩绍,,
来源：新闻大学 年份：2009
组织传播学属于一门"年轻"的学科,上世纪60年代才被国际学术界正式纳入传播学的范畴;我国的研究大多散见于管理学、政治学、社会学和传播学等学科中。早期的组织传播研究...
[期刊论文] 作者：田启家,沈恩绍,
来源：北京师范大学学报：自然科学版 年份：1995
给出Ｍｏｎａｄｉｃ分划逻辑初等等介的一个代数刻画，从而把Ｆｒａｉｓｓｅ定理从一阶的情形推广到了Ｍｏｎａｄｉｃ分划逻辑的情形。...
相关搜索：
