论文部分内容阅读
首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了相应的证明.
G?del n值命题逻辑系统的真度理论
【摘 要】
：
首先在G?del n值命题逻辑系统中添加了新的连接词Δ,～,给出了G?del n值命题逻辑系统中命题公式间的真度、相似度和伪距离的定义;讨论了在该系统下它们的一些相关性质,并给出了
【机 构】
：
延安大学 数学与计算机科学学院,陕西 延安,716000
【出 处】
：
计算机工程与应用
【发表日期】
：
2017年11期
其他文献
我国高速公路和铁路的快速发展,建设挡土墙和声屏障成为不可缺少的辅助构筑物。本文结合工程实例,介绍混凝土砌块配筋砌体结构挡土墙和声屏障的方案设计、配筋砌块砌体墙平面
摘 要：朝阳县西部低山丘陵区是朝阳县的玉米主产区，玉米是本地区的主要粮食作物。以本地区自然生态条件为基础，研究和探索适合本地区的玉米高产栽培技术是确保农民增产增收、推动农村经济社会发展的重要举措。本文从六个方面阐述了朝阳县西部低山丘陵区玉米高产栽培的技术要领。 关键词：朝阳县；西部低山丘陵区；玉米；高产栽培技术 朝阳县西部低山丘陵区包括波罗赤、东大道、杨树湾、贾家店等8个乡镇（场），面积865
我国城市化进程的不断加快,建筑工程队伍也在逐渐增多,各建筑工程之间的竞争也越来越激烈.想要在激烈的竞争中占有先机,就必须从施工质量上进行全面的提高.特别是当前的大型
该文从挂篮荷载计算、施工流程、支座及临时固结施工、挂篮安装及试验、合拢段施工、模板制作安装、钢筋安装、混凝土的浇筑及养生、测量监控等方面人手,介绍了S226海滨大桥
社会在不断的发展,人们的生活水平也在不断地提高,我国群众对海鲜产品的需求量也在日益增加,而南美白对虾是水产养殖中的核心品种,在国内海鲜市场上也获得了十分客观的经济效
近年来，城乡居民回归自然、享受自然的消费需求日益增加．休闲渔业应运而生并长足发展．一度成为一些地区渔业发展的新引擎。但是随着休闲渔业遍地开花．同质化竞争愈演愈烈．加之也存
徽州传统古民居群落在历史的苍桑巨变中奇迹般完整地保存了下来,令人叹为观止,它与周围的地形、地貌、山水相互渗透,取得自然和谐的统一.文章从徽州传统民居建筑外部装饰特征