期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于括号表示法的一阶逻辑系统
被引量：
6
1
作者
杜国平
《安徽大学学报（哲学社会科学版）》
CSSCI
北大核心
2019年第3期35-41,共7页
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中...
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。
展开更多
关键词
括号表示法
逻辑常项
唯一性
公式长度
一阶逻辑系统
推理结构
在线阅读
下载PDF
职称材料
基于括号表示法的4值逻辑自然演绎系统
被引量：
4
2
作者
杜国平
《湖北大学学报（哲学社会科学版）》
CSSCI
北大核心
2020年第2期36-49,167,共15页
运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可...
运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD 4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。
展开更多
关键词
联结词
括号表示法
4值逻辑
自然演绎系统
扩充
在线阅读
下载PDF
职称材料
RNA二级结构点括号图与CT文件表示法的相互转换算法研究
被引量：
1
3
作者
吴建英
王淑琴
《天津师范大学学报（自然科学版）》
CAS
2012年第4期32-36,共5页
由于RNA二级结构表示方法对其功能和相似性的研究具有关键性作用,通过对现有RNA二级结构的各种表示方法进行讨论,重点介绍了点括号图表示法和二级结构平面图文本(CT文件)表示法,给出二者之间的相互转换算法,并通过实例验证了该转换算法...
由于RNA二级结构表示方法对其功能和相似性的研究具有关键性作用,通过对现有RNA二级结构的各种表示方法进行讨论,重点介绍了点括号图表示法和二级结构平面图文本(CT文件)表示法,给出二者之间的相互转换算法,并通过实例验证了该转换算法准确、有效,可为研究RNA二级结构的相似性提供有效的数据支持.
展开更多
关键词
RNA
RNA二级结构
转换算法
RNA图形
表示
点
括号
图
表示法
CT文件
表示法
在线阅读
下载PDF
职称材料
题名
基于括号表示法的一阶逻辑系统
被引量：
6
1
作者
杜国平
机构
中国社会科学院哲学研究所
出处
《安徽大学学报（哲学社会科学版）》
CSSCI
北大核心
2019年第3期35-41,共7页
基金
国家社会科学基金重点项目(13AZX019)
国家社会科学基金重大招标项目(14ZDB014)
文摘
括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。
关键词
括号表示法
逻辑常项
唯一性
公式长度
一阶逻辑系统
推理结构
分类号
B81 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
基于括号表示法的4值逻辑自然演绎系统
被引量：
4
2
作者
杜国平
机构
中国社会科学院哲学研究所
出处
《湖北大学学报（哲学社会科学版）》
CSSCI
北大核心
2020年第2期36-49,167,共15页
基金
国家社会科学基金重大招标项目“应用逻辑与逻辑应用研究”(14ZDB014)。
文摘
运用括号表示法来构建4值逻辑,其形式语言非常简洁,公式表达准确、无歧义,也更加简短。使用符合4值逻辑推理直觉的16条推理规则,可以建立4值逻辑自然演绎系统PD 4;基于4值语义可以证明该系统具有可靠性和完全性。通过语形、语义方法可以严格证明4值逻辑自然演绎系统PD 4是经典2值逻辑、卢卡西维茨3值逻辑以及一般3值逻辑系统的扩充。
关键词
联结词
括号表示法
4值逻辑
自然演绎系统
扩充
分类号
B81 [哲学宗教—逻辑学]
在线阅读
下载PDF
职称材料
题名
RNA二级结构点括号图与CT文件表示法的相互转换算法研究
被引量：
1
3
作者
吴建英
王淑琴
机构
天津师范大学计算机与信息工程学院
出处
《天津师范大学学报（自然科学版）》
CAS
2012年第4期32-36,共5页
基金
国家自然科学基金资助项目(61070089
61103074)
+3 种基金
天津市自然科学基金资助项目(11JCYBJC00600)
天津师范大学校博士基金资助项目(52X09012
52XB1102)
上海市高可信计算重点实验室开放课题资助项目(53H10058)
文摘
由于RNA二级结构表示方法对其功能和相似性的研究具有关键性作用,通过对现有RNA二级结构的各种表示方法进行讨论,重点介绍了点括号图表示法和二级结构平面图文本(CT文件)表示法,给出二者之间的相互转换算法,并通过实例验证了该转换算法准确、有效,可为研究RNA二级结构的相似性提供有效的数据支持.
关键词
RNA
RNA二级结构
转换算法
RNA图形
表示
点
括号
图
表示法
CT文件
表示法
Keywords
RNA
RNA secondary structure
transforming algorithm
RNA graphical presentation
representation of Dot-Bracket notation
CT file represntation
分类号
TP399 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于括号表示法的一阶逻辑系统
杜国平
《安徽大学学报（哲学社会科学版）》
CSSCI
北大核心
2019
6
在线阅读
下载PDF
职称材料
2
基于括号表示法的4值逻辑自然演绎系统
杜国平
《湖北大学学报（哲学社会科学版）》
CSSCI
北大核心
2020
4
在线阅读
下载PDF
职称材料
3
RNA二级结构点括号图与CT文件表示法的相互转换算法研究
吴建英
王淑琴
《天津师范大学学报（自然科学版）》
CAS
2012
1
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
