主析取范式

作品数：46被引量：42H指数：3
导出分析报告
相关领域：理学文化科学更多>>
相关作者：苏岐芳张型岱王廷明冯泰徐凤生更多>>
相关机构：中央广播电视大学台州学院牡丹江师范学院德州学院更多>>
相关期刊：《课程教育研究》《计算机教育》《计算机与现代化》《数学的实践与认识》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金安徽省自然科学基金运城学院科研基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
主范式及其应用
《知识文库》2019年第10期66-67,共2页白昊月 
本文介绍了命题公式主范式的基本定义及相关定理,并对其作出了相应解释,探讨了命题公式主范式的求法:等值演算法,以及它的用途,最后给出了主范式的应用,并联系实际对这些应用加以阐述.1主范式可分为主析取范式与主合取范式。主析取范式...
关键词：主范式 命题公式 命题变项 主合取范式 主析取范式 
离散数学课程中主范式求解问题的教学研究
《课程教育研究》2017年第17期131-131,共1页李凡 
《离散数学》是我国工科高校教学体系中的核心基础课程之一。其中,命题逻辑部分里利用真值表求解命题公式的主范式又是课程的重点内容之一。目前常见的离散数学教材对该部分的讲解均缺乏原理性的介绍,使得学生理解起来有一定的难度。本...
关键词：离散数学 真值表 主合取范式 主析取范式 
主析取范式在项目投资中的应用
《科技风》2015年第5期97-97,共1页于剑标 李小荣 
在项目投资中,有许多问题可以利用离散数学中主析取范式来处理和解决。本文通过几个具体实例来了解和探讨主析取范式在项目投资中的应用,其思维方法和处理问题的过程,大家可以参考和借鉴,有利于提高大家分析问题、处理问题和解决实际问...
关键词：项目投资 主析取范式 应用 
命题公式主析范式的自动生成系统
《价值工程》2013年第30期171-172,共2页张娟 
目前人工智能的发展已经非常迅速,而且会越来越普及到我们的生活中。人工智能的发展离不开数理逻辑,命题逻辑是数理逻辑中重要部分,本文介绍了命题公式主析取范式及主合取范式的自动生成系统的开发、设计与实现过程。
关键词：命题公式 主析取范式 主合取范式 自动生成 
命题逻辑的计算机实现
《电子世界》2013年第19期171-171,共1页李亚男 郑文艳 
命题逻辑是逻辑学的基础,要实现逻辑学的计算机处理首先需要实现命题逻辑的计算机处理。由于每个命题公式都与一个由小项下标组成的集合相对应,这样实现命题逻辑的计算机实现就可以通过集合这个工具,首先将命题逻辑转化成集合,然后在计...
关键词：命题变元 命题公式 小项 主析取范式 
计算机数理逻辑系统的探究
《都市家教（下半月）》2013年第10期166-167,共2页刘丹 
本论文针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题，制作了命题演算演示系统．并对该系统进行研究。
关键词：命题逻辑 真值表 主析取范式 
计算机数理逻辑命题演算演示系统的研究被引量：1
《信息通信》2013年第9期114-115,共2页张君 
针对多个命题变项利用真值表法、等值演算法、主析取范式求解繁琐、运算量大的问题,制作了命题演算演示系统,并对该系统进行研究,主要研究计算机数理逻辑中命题演算部分,重点以5个命题变项如何通过一些逻辑联结词构成复合命题,以一个具...
关键词：命题逻辑 真值表 主析取范式 主合取范式 
几类主范式在命题推理正确性判断中的应用
《安康学院学报》2013年第3期5-8,共4页胡纪华 
安康学院<离散数学>精品课建设项目
在命题逻辑中,据主范式可以体现命题公式的本质的特点,将其应用在判断推理正确性的问题中,给出了利用A→B的主范式、A和B的主范式判别推理AB正确性的多种方法。
关键词：主析取范式 主合取范式 推理 正确性 
主析取范式的求法及其应用被引量：2
《科教文汇》2013年第6期53-53,60,共2页杨菲 
本文综述了求主析取范式的三种主要方法,即推演法、真值表法、构造树法,并从经典例题入手分析了三种方法的应用技巧。
关键词：主析取范式 推演法 真值表法 构造树法 
CP-nets的代数表示及其模型求取算法被引量：2
《模式识别与人工智能》2011年第6期725-732,共8页刘惊雷 刘兆伟 孙雪姣 武栓虎 
国家自然科学基金资助项目(No.61070118;60970105)
条件偏好网(CP-nets)是一种表示定性条件偏好关系的语言.针对目前CP-nets的图形表示方法难以实现运算的特点提出一种二值无环CP-nets的代数表示方法.该方法将CP-nets组织成邻接链表的形式,纵向存储CP-nets拓扑排序的序列,其结点域以命...
关键词：二值无环条件偏好网 邻接链表 主析取范式 直接和间接模型 紧凑的代数方法 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部