论文部分内容阅读
本文讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题,还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用.
关于数理逻辑中的可靠性、完备性及协调性的讨论
【摘 要】
：
本文讨论了命题逻辑和一阶逻辑中应用可靠性定理和完备性定理所解决的一些代表性问题,还讨论了极大协调集在建立可靠性定理和完备性定理的证明过程中所起的作用.
【机 构】
：
新疆师范大学数理信息学院
【出 处】
：
新疆师范大学学报(自然科学版)
【发表日期】
：
2004年2期
其他文献
本文通过项目教学法在《园林工程概预算》课程中的实例应用。对项目教学法的应用程序、实施过程进行了探讨，对项目教学法中学生与教师的角色转换、主动与被动、主动与引导进行
<正>高薪、福利好,在香港做公务员一向被视为捧上"铁饭碗"。去年8月,香港特区政府宣布公务员加薪6%～7%,增幅跑赢了居高不下的CPI,令公务员职位更具吸引力。10月份,特区政府又
<正>【案例呈现】小薇是初一年级的一名女生,她性格耿直,从小学开始就在班里担任纪律委员。升入初中以后,她虽然仍旧担任纪律委员,但是工作却并不顺利。班里有几名男生,经常
[目的]寻求合理的膜间土壤盐分累积控制方法,为指导盐碱地田间调控提供科学依据。[方法]采用覆秸秆,铺砂,喷施高分子化合物PAM,压实等方式对膜间裸地进行处理,对比分析各种处
<正>改革开放三十年来,中国制造业获得了迅猛发展,成为制造业大国,并被誉为"世界制造工厂",但审视我们的制造业价值链,我们不难发现,总体上中国制造处于世界制造价值链低端。
利用顶空固相微萃取-气相色谱质谱技术(HS-SPME/GC-MS)建立了定量分析啤酒中19种源自酒花的微量香气成分的方法。研究了不同萃取头、萃取时间、萃取温度对萃取效果的影响,最
环境问题正严重制约着世界城市化的健康发展,摒弃传统的城市化模式,开创可持续的城市发展道路,已成为新世纪国际社会面临的重大课题。因此,以整体观点探索城市可持续发展管理
为了解我国科学学潜在合作情况,搜集《CNKI中国学术期刊网络出版总库》中2001年到2011年间有关科学学的37274篇期刊论文,基于社会网络分析法(SNA)分析科学学的潜在合作者与合
目的研究探讨糖尿病肾衰竭血液透析患者常见的并发症,并探讨相应的护理方案。方法选取2015年2月~2016年2月我院收治的糖尿病肾衰竭血液透析患者60例作为研究对象,将其随机分