期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到3篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
经典一阶逻辑的希尔伯特型系统 被引量：5
1
作者 刘新文 《湖南科技大学学报（社会科学版）》 2005年第2期27-29,共3页
系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'... 系统Z是文[7]构造的经典命题逻辑系统,这一系统的初始联结词是一类广义的谢夫竖函数,并且采用括号记法。作者在系统Z中加入存在量词,把存在量词和广义谢夫竖函数统一作括号记法,并且把系统Z的规则作相应的处理,最后证明了所得系统Z'的完全性。 展开更多
关键词 函数 括号 证明 经典 希尔伯特 作者 联结词 系统 规则
在线阅读 下载PDF
沈有鼎的“纯逻辑演算”思想源流——纪念沈有鼎先生逝世30周年
2
作者 刘新文 《重庆理工大学学报（社会科学）》 CAS 2019年第9期8-13,共6页
在概述沈有鼎先生的《个体与真值的演算》与《“纯逻辑演算”中不依赖量词的部分》两篇论文的主要内容和思想的基础上,找到沈有鼎不带量词的“纯逻辑演算”的直接思想来源;确立张清宇在20世纪90年代为经典逻辑提出的“括号记法”的直接... 在概述沈有鼎先生的《个体与真值的演算》与《“纯逻辑演算”中不依赖量词的部分》两篇论文的主要内容和思想的基础上,找到沈有鼎不带量词的“纯逻辑演算”的直接思想来源;确立张清宇在20世纪90年代为经典逻辑提出的“括号记法”的直接思想来源;沿着这一传统为经典命题逻辑建立一个三元联结词“条件析取”的后承演算。 展开更多
关键词 沈有鼎 纯逻辑演算 括号记法 条件析取 带等词一阶逻辑的无量词片段
在线阅读 下载PDF
RNA二级结构点括号图与CT文件表示法的相互转换算法研究 被引量：1
3
作者 吴建英 王淑琴 《天津师范大学学报（自然科学版）》 CAS 2012年第4期32-36,共5页
由于RNA二级结构表示方法对其功能和相似性的研究具有关键性作用,通过对现有RNA二级结构的各种表示方法进行讨论,重点介绍了点括号图表示法和二级结构平面图文本(CT文件)表示法,给出二者之间的相互转换算法,并通过实例验证了该转换算法... 由于RNA二级结构表示方法对其功能和相似性的研究具有关键性作用,通过对现有RNA二级结构的各种表示方法进行讨论,重点介绍了点括号图表示法和二级结构平面图文本(CT文件)表示法,给出二者之间的相互转换算法,并通过实例验证了该转换算法准确、有效,可为研究RNA二级结构的相似性提供有效的数据支持. 展开更多
关键词 RNA RNA二级结构 转换算法 RNA图形表示 点括号图表示法 CT文件表示法
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部