论文降重
免费查重- 钛学术文献服务平台 \
- 学术期刊 \
- 基础科学期刊 \
- 大学学报期刊 \
- 新疆师范大学学报(自然科学版)期刊 \
关于数理逻辑中的可靠性、完备性及协调性的讨论
关于数理逻辑中的可靠性、完备性及协调性的讨论
基本信息来源于合作网站，原文需代理用户跳转至来源网站获取
摘要：
本文讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题,还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用.
推荐文章
数理逻辑的程序可靠性验证
数理逻辑
程序
可靠性
关于数理逻辑的几点辨析
数理逻辑
逻辑关联词
命题
数理逻辑中主范式的存在性
逻辑联结词
析取范式
合取范式
数理逻辑的若干应用
数理逻辑
逻辑公式
推理形式
等价
反证法
内容分析
关键词云
关键词热度
相关文献总数
(/次)
(/年)
文献信息
| 篇名 | 关于数理逻辑中的可靠性、完备性及协调性的讨论 | ||
| 来源期刊 | 新疆师范大学学报(自然科学版) | 学科 | 数学 |
| 关键词 | 可靠性 完备性 协调性 极大协调集 | ||
| 年，卷（期） | 2004,（2） | 所属期刊栏目 | 数学 |
| 研究方向 | 页码范围 | 1-4 | |
| 页数 | 4页 | 分类号 | O141 |
| 字数 | 3005字 | 语种 | 中文 |
| DOI | 10.3969/j.issn.1008-9659.2004.02.001 | ||
五维指标
引文网络
引文网络
二级参考文献 (0)
共引文献 (0)
参考文献 (0)
节点文献
引证文献 (0)
同被引文献 (0)
二级引证文献 (0)
2004(0)
- 参考文献(0)
- 二级参考文献(0)
- 引证文献(0)
- 二级引证文献(0)
研究主题发展历程
节点文献
可靠性
完备性
协调性
极大协调集
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
新疆师范大学学报(自然科学版)
主办单位：
新疆师大学报
出版周期：
半年刊
ISSN：
1008-9659
CN：
65-1183/N
开本：
大16开
出版地：
新疆乌鲁木齐市新医路102号
邮发代号：
58-154
创刊时间：
1982
语种：
chi
出版文献量（篇）
2078
总下载数（次）
5
总被引数（次）
7655
期刊文献
相关文献
推荐文献
- 期刊分类
- 期刊（年）
- 期刊（期）
- 期刊推荐
力学
化学
地球物理学
地质学
基础科学综合
大学学报
天文学
天文学、地球科学
数学
气象学
海洋学
物理学
生物学
生物科学
自然地理学和测绘学
自然科学总论
自然科学理论与方法
资源科学
非线性科学与系统科学
新疆师范大学学报(自然科学版)2021
新疆师范大学学报(自然科学版)2020
新疆师范大学学报(自然科学版)2019
新疆师范大学学报(自然科学版)2018
新疆师范大学学报(自然科学版)2017
新疆师范大学学报(自然科学版)2016
新疆师范大学学报(自然科学版)2015
新疆师范大学学报(自然科学版)2014
新疆师范大学学报(自然科学版)2013
新疆师范大学学报(自然科学版)2012
新疆师范大学学报(自然科学版)2011
新疆师范大学学报(自然科学版)2010
新疆师范大学学报(自然科学版)2009
新疆师范大学学报(自然科学版)2008
新疆师范大学学报(自然科学版)2007
新疆师范大学学报(自然科学版)2006
新疆师范大学学报(自然科学版)2005
新疆师范大学学报(自然科学版)2004
新疆师范大学学报(自然科学版)2003
新疆师范大学学报(自然科学版)2002
新疆师范大学学报(自然科学版)2001
新疆师范大学学报(自然科学版)2000
