首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  收费全文   3篇
  免费   1篇
  国内免费   1篇
数学   5篇
  2011年   1篇
  2004年   1篇
  1997年   2篇
  1990年   1篇
排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
胡世华 《中国科学A辑》1990,33(12):1235-1242
本文在文献[1]基础上,建立递归结构的形式系统,给出判断其语句可判定性的充要条件,并通过语句的范式把可判定性与计算联系起来。  相似文献   
2.
从事实逻辑到任务逻辑   总被引:1,自引:1,他引:0  
在经典命题逻辑语言中引入附加算子几,较系统地研究近几年刚刚被提出的任务逻辑。这里把公式理解为“任务”,介绍了“任务逻辑”的语义理论,并从语构上定义形式系统L与之对应,证明该系统的可靠性、完备性及可判定性定理.最后建立系统L中的一系列基本定理。  相似文献   
3.
本文证明了两种算术结构N;+,n2n,|2n及N;+,n2nlog2n中可定义乘法运算从而包含算术结构N;+,×及,而由于后者的不可判定性推导出前二者的不可判定性。  相似文献   
4.
证明了系统(£)*n中的可满足性定理,紧致性定理和可判定性定理,完善了系统(£)*n的理论体系,并将这些性质应用到计量逻辑学中,给出了∑Γ-真度和条件真度存在的充要条件.  相似文献   
5.
有限可换主理想环上模理论可判定性及其复杂性   总被引:3,自引:1,他引:2  
本文利用初等等价的工具,引用Ehenfeucht Game理论,证明了有限可换主理想环上模的理论是可判定的,并且判定过程的计算复杂性上界为2cn.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号