论文部分内容阅读
数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值表法、等值演算法、等值替换结合二进制数法及构造树法等;并且论述主范式在命题公式中的若干作用。
主范式的求解及其应用
【摘 要】
：
数理逻辑作为数学及思维科学的一个分支,在各学科领域的发展中,有着广泛的应用。讨论数理逻辑中的重要概念主范式的求解方法:真值表法、等值演算法、等值替换结合二进制数法
【机 构】
：
武夷学院数学与计算机系
【出 处】
：
武夷学院学报
【发表日期】
：
2016年03期
【基金项目】
：
福建省精品课程项目(Sj2010003)
其他文献
焦化废水为浓度高、毒性大、难降解工业有机废水,将课题组自行研制的高效新型三相生物流化床组合工艺应用于三个钢铁厂焦化废水的工程处理,实现了较好的处理效果和良好的经济
The applicability of shape memory alloys (SMAs) in structural dynamics, particularly as hysteretic damping elements, is limited by the difficulties in modelling
经济社会不断发展,城镇化建设在逐步推进,随着城市开发力度增强,城市道路在运行中产生硬质问题,将自然生态以及水文基础特征改变,导致城市发展以及环境保护战略的开展之间矛
2014年11月28日,受国家发展改革委环资司委托,国家节能中心在浙江省杭州市召开了通信行业节能技术推广会。来自国家发展改革委、浙江省经信委、中国移动通信集团设计院、中国
生态系统服务权衡与协同研究是国际生态学、地理学等学科研究的热点。以石羊河流域为研究区,借助InVEST模型,对流域2005、2010和2015年的水源涵养、土壤保持、水质净化、碳储
The resonance sound radiation from submerged infinite elastic cylindrical shell, excited by internal harmonic line force, is investigated. The shell radiation p
随着网络时代的到来和科技的进步,以微博为代表的社交网络平台逐渐成为人们分享和获取信息的主要途径。用户发布在社交网络平台的这些信息大多带有明显的情感色彩。通过对这些带有主观性情感色彩的信息进行情感分析,有助于推动舆情分析、个性化推荐和突发事件预防等领域的研究,因此微博情感分析具有重要的应用价值。本文重点围绕微博中的图文进行情感分析研究,主要研究内容有:(1)现有的微博情感分析方法较少注意到用户情感表
一直有人说，多箱体养蜂法是最科学最先进最高效的养蜂法，特别是在人均规模、生产流程和总体效益等方面一直处于各种养蜂法的领先地位。因此，多箱体养蜂法是产业化养蜂的大方向，全
为进一步加大对酒后驾驶和城市工程运输车交通违法的查处力度,有效预防减少道路交通事故,近日,公安部部署各地公安交管部门自11月25日至12月31日在全国开展酒后驾驶和工程运
石家庄市某项目采用工业余热.该项目多为新建建筑.一次管网存在流量偏大,供回水温差较大的问题,少数用户采暖效果不佳.应热力公司要求对该供热系统进行诊断分析,以期改善不热