论文部分内容阅读
本文讨论了中介逻辑命题演算系统MPM的一些基本等值公式和范式定理.
中介逻辑命题演算系统MPM的范式
【摘 要】
：
本文讨论了中介逻辑命题演算系统MPM的一些基本等值公式和范式定理.
【机 构】
：
南京大学软件新技术国家重点实验室(南京)
【出 处】
：
2001年全国理论计算机科学学术会议
【发表日期】
：
2001年期
其他文献
装饰装修工程施工中的绿色施工概念是相较于传统施工技术提出的,并且通过对传统技术进行改进和革新,以健康、低碳、可持续发展观为导向,最大限度地节约资源(节能、节地、节水
现代信息系统尤其是WEB和多媒体应用对数据管理系统提出了新的要求,也提供了新的发展空间.面向对象数据库面临着新的机遇,在基于WEB的应用中将有可能起到重要的作用,其面向对
针对已有产生矩阵的弊端,以及K-L变换的自身特性,本文提出了改进的综合离散度产生矩阵.它能以不同的比重同时满足类内离散度最小和类间离散度最大的要求.
本文主要对智能城市规划设计中大数据的获取途径进行分析,并对大数据在智能城市规划设计中的应用优势及应用对策进行了探讨,以供同仁参考.
本文介绍了模式识别的协同原理,研究了图像分类识别的协同算法,给出了一个基于图像纹理信息的原型模式的选择算法,并提出将图像纹理特征作为原型模式向量和试验模式向量的分
随着国民经济的快速发展,高层建筑及桥梁工程日益的增多,桩基础的应用量随之增大.钻孔灌注桩是建筑物的基础结构型式之一,也是防治岩土体滑动、边坡支护和锚固建筑物的有效措
本文针对商业银行信用评价的复杂特性提出了一种新的方法,即利用混合型专家系统来建造商业银行的信用评价系统,并研究了构建整系统的一般方法与步骤.
在经济社会不断发展进程中，无人机的使用越来越多，也越来越受到我们的重视，在实际情况下，?只有不断发展无人机技术，才能发挥其最大的作用。本文经过深入研究后，就相关过程做出论述，
建筑电气安装是建筑施工必不可少的内容，电气安装的意义在于，帮助建筑做好防雷工作，保证建筑的使用安全与质量。电气安装中，防雷接地施工最为关键，且在建筑施工期间的工作中的重要